Section 6Want more of a challenge? View in iconic form (experimental)

# MATH use equality for truth values
[hear] (= (= 00 00) (= 011110 011110));

[hear] (= (= 0110 0110) (> 0111110 01110));

[hear] (= (= 0111110 0111110) (< 0110 0111110));

[hear] (= (> 0111110 0110) (= 011110 011110));

[hear] (= (< 0110 01110) (> 01110 010));

[hear] (= (> 00 00) (= 0110 01110));

[hear] (= (< 0111110 01110) (< 01110 00));

[hear] (= (= 01110 00) (= 01110 0110));

[hear] (= (= 0110 010) (< 01110 010));

[hear] (= (> 010 01110) (< 01111110 00));

[hear] (not /
= (> 0111110 01111110) (> 011110 0110));

[hear] (not / = (= 010 0110) (< 010 01110));

[hear] (not / = (> 0110 0111110) (> 0111110 011110));

[hear] (not /
= (> 011110 0111110) (< 011110 01111110));

[hear] (not / = (< 0111110 01110) (< 010 01110));

[hear] (not / = (= 011110 011110) (> 0110 011110));

[hear] (not / = (< 00 0110) (> 00 011110));

[hear] (not / = (< 010 01110) (< 0111110 010));

[hear] (not / = (< 00 01110) (= 0110 01110));

[hear] (not / = (> 0111110 01110) (= 0110 0111110));

[hear] (intro true);

[hear] (intro false);

[hear] (= (true) (> 010 00));

[hear] (= (true) (< 01110 01111110));

[hear] (= (true) (< 0110 0111110));

[hear] (= (true) (> 01110 00));

[hear] (= (true) (> 011111110 011110));

[hear] (= (= 010 010) (true));

[hear] (= (< 01110 011110) (true));

[hear] (= (> 01111110 0111110) (true));

[hear] (= (< 011110 011111110) (true));

[hear] (= (< 0111110 0111111110) (true));

[hear] (= (false) (> 01110 0111110));

[hear] (= (false) (= 011110 010));

[hear] (= (false) (< 01110 010));

[hear] (= (false) (= 01110 011110));

[hear] (= (false) (> 00 00));

[hear] (= (< 010 00) (false));

[hear] (= (= 01110 0110) (false));

[hear] (= (> 010 011110) (false));

[hear] (= (= 0110 010) (false));

[hear] (= (= 0110 0111110) (false));

[hear] (= (true) (true));

[hear] (= (false) (false));

[hear] (not / = (true) (false));

[hear] (not / = (false) (true));