ONT Re: Cactus Rules
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
CR. Note 17
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Table 13. Differences & Equalities Conjoined with Implications
o---------o------------o-----------------o---------------------o
| L_1 | L_2 | L_3 | L_4 |
| | | | |
| Decimal | Binary | Vector | Cactus |
o---------o------------o-----------------o---------------------o
| | p : 1 1 1 1 0 0 0 0 | |
| | q : 1 1 0 0 1 1 0 0 | |
| | r : 1 0 1 0 1 0 1 0 | |
o---------o------------o-----------------o---------------------o
| | | | |
| q_44 | q_00101100 | 0 0 1 0 1 1 0 0 | (p, q) (p (r)) |
| | | | |
| q_52 | q_00110100 | 0 0 1 1 0 1 0 0 | (p, q) ((p) r) |
| | | | |
| q_56 | q_00111000 | 0 0 1 1 1 0 0 0 | (p, q) (q (r)) |
| | | | |
| q_28 | q_00011100 | 0 0 0 1 1 1 0 0 | (p, q) ((q) r) |
| | | | |
| q_131 | q_10000011 | 1 0 0 0 0 0 1 1 | ((p, q)) (p (r)) |
| | | | |
| q_193 | q_11000001 | 1 1 0 0 0 0 0 1 | ((p, q)) ((p) r) |
| | | | |
| | | | |
| q_74 | q_01001010 | 0 1 0 0 1 0 1 0 | (p, r) (p (q)) |
| | | | |
| q_82 | q_01010010 | 0 1 0 1 0 0 1 0 | (p, r) ((p) q) |
| | | | |
| q_26 | q_00011010 | 0 0 0 1 1 0 1 0 | (p, r) (q (r)) |
| | | | |
| q_88 | q_01011000 | 0 1 0 1 1 0 0 0 | (p, r) ((q) r) |
| | | | |
| q_133 | q_10000101 | 1 0 0 0 0 1 0 1 | ((p, r)) (p (q)) |
| | | | |
| q_161 | q_10100001 | 1 0 1 0 0 0 0 1 | ((p, r)) ((p) q) |
| | | | |
| | | | |
| q_70 | q_01000110 | 0 1 0 0 0 1 1 0 | (q, r) (p (q)) |
| | | | |
| q_98 | q_01100010 | 0 1 1 0 0 0 1 0 | (q, r) ((p) q) |
| | | | |
| q_38 | q_00100110 | 0 0 1 0 0 1 1 0 | (q, r) (p (r)) |
| | | | |
| q_100 | q_01100100 | 0 1 1 0 0 1 0 0 | (q, r) ((p) r) |
| | | | |
| q_137 | q_10001001 | 1 0 0 0 1 0 0 1 | ((q, r)) (p (q)) |
| | | | |
| q_145 | q_10010001 | 1 0 0 1 0 0 0 1 | ((q, r)) ((p) q) |
| | | | |
o---------o------------o-----------------o---------------------o
| | | | |
| q_211 | q_11010011 | 1 1 0 1 0 0 1 1 | ((p, q) (p (r))) |
| | | | |
| q_203 | q_11001011 | 1 1 0 0 1 0 1 1 | ((p, q) ((p) r)) |
| | | | |
| q_199 | q_11000111 | 1 1 0 0 0 1 1 1 | ((p, q) (q (r))) |
| | | | |
| q_227 | q_11100011 | 1 1 1 0 0 0 1 1 | ((p, q) ((q) r)) |
| | | | |
| q_124 | q_01111100 | 0 1 1 1 1 1 0 0 | (((p, q)) (p (r))) |
| | | | |
| q_62 | q_00111110 | 0 0 1 1 1 1 1 0 | (((p, q)) ((p) r)) |
| | | | |
| | | | |
| q_181 | q_10110101 | 1 0 1 1 0 1 0 1 | ((p, r) (p (q))) |
| | | | |
| q_173 | q_10101101 | 1 0 1 0 1 1 0 1 | ((p, r) ((p) q)) |
| | | | |
| q_229 | q_11100101 | 1 1 1 0 0 1 0 1 | ((p, r) (q (r))) |
| | | | |
| q_167 | q_10100111 | 1 0 1 0 0 1 1 1 | ((p, r) ((q) r)) |
| | | | |
| q_122 | q_01111010 | 0 1 1 1 1 0 1 0 | (((p, r)) (p (q))) |
| | | | |
| q_94 | q_01011110 | 0 1 0 1 1 1 1 0 | (((p, r)) ((p) q)) |
| | | | |
| | | | |
| q_185 | q_10111001 | 1 0 1 1 1 0 0 1 | ((q, r) (p (q))) |
| | | | |
| q_157 | q_10011101 | 1 0 0 1 1 1 0 1 | ((q, r) ((p) q)) |
| | | | |
| q_217 | q_11011001 | 1 1 0 1 1 0 0 1 | ((q, r) (p (r))) |
| | | | |
| q_155 | q_10011011 | 1 0 0 1 1 0 1 1 | ((q, r) ((p) r)) |
| | | | |
| q_118 | q_01110110 | 0 1 1 1 0 1 1 0 | (((q, r)) (p (q))) |
| | | | |
| q_110 | q_01101110 | 0 1 1 0 1 1 1 0 | (((q, r)) ((p) q)) |
| | | | |
o---------o------------o-----------------o---------------------o
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o