# MATH introduce the OR logical operator
[hear] (define or
(? x /
? y /
if (x) (true) (if (y) (true) (false))));
[hear] (intro or);
[hear] (or (= 0110 0110) (> 011110 0110));
[hear] (or (= 010 010) (> 01111110 011110));
[hear] (or (< 01110 011110) (= 0111110 0111110));
[hear] (or (= 01110 01110) (= 011110 011110));
[hear] (or (= 01110 01110) (= 00 00));
[hear] (or (< 0111110 011111110) (> 0111110 01110));
[hear] (or (> 0111110 011110) (> 010 00));
[hear] (or (> 01110 00) (= 01110 01110));
[hear] (or (< 01110 011110) (< 01110 01111110));
[hear] (or (> 0111110 011110) (> 0111110 011110));
[hear] (or (> 01111110 011110) (< 01110 010));
[hear] (or (> 01110 010) (> 01110 01110));
[hear] (or (= 00 00) (= 0111110 011110));
[hear] (or (< 0110 011110) (> 011110 01111110));
[hear] (or (= 01110 01110) (= 01110 010));
[hear] (or (> 010 0111110) (< 01110 01111110));
[hear] (or (< 01111110 0110) (= 0110 0110));
[hear] (or (> 0110 0111110) (= 0111110 0111110));
[hear] (or (< 01111110 0110) (= 01110 01110));
[hear] (or (< 011110 01110) (> 0111110 0110));
[hear] (not / or (< 0111110 011110) (= 010 0110));
[hear] (not /
or (< 01111110 011110) (= 0111110 010));
[hear] (not / or (> 0110 01111110) (= 010 0111110));
[hear] (not / or (< 01111110 01110) (= 0110 01110));
[hear] (not / or (< 01111110 011110) (> 00 010));
[hear] (not / or (= 01110 0111110) (< 011110 010));
[hear] (not / or (= 011110 010) (< 011110 0110));
[hear] (not / or (< 01111110 01110) (= 01110 00));
[hear] (or (< 011110 0110) (< 011110 01111110));
[hear] (or (> 011110 010) (< 0111110 0110));
[hear] (or (> 00 010) (> 011111110 0111110));
[hear] (or (< 01110 011110) (> 01110 01111110));
[hear] (or (> 010 0110) (> 01111110 011110));
[hear] (or (< 00 010) (= 011110 0111110));
[hear] (or (< 011110 01111110) (< 0111110 011111110));
[hear] (define >=
(? x /
? y /
or (> (x) (y)) (= (x) (y))));
[hear] (define <=
(? x /
? y /
or (< (x) (y)) (= (x) (y))));
[hear] (>= 0 0);
[hear] (<= 0 0);
[hear] (not / >= 0 1);
[hear] (<= 0 1);
[hear] (not / >= 0 2);
[hear] (<= 0 2);
[hear] (>= 1 0);
[hear] (not / <= 1 0);
[hear] (>= 1 1);
[hear] (<= 1 1);
[hear] (not / >= 1 2);
[hear] (<= 1 2);
[hear] (>= 2 0);
[hear] (not / <= 2 0);
[hear] (>= 2 1);
[hear] (not / <= 2 1);
[hear] (>= 2 2);
[hear] (<= 2 2);