Section 6
Want 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)
);