# 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);