ONT Re: Cactus Rules
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
CR. Note 10
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Table 6. More Variations on a Theme of Implication
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_176 | q_10110000 | 1 0 1 1 0 0 0 0 | p (q (r)) |
| | | | |
| q_208 | q_11010000 | 1 1 0 1 0 0 0 0 | p (r (q)) |
| | | | |
| q_11 | q_00001011 | 0 0 0 0 1 0 1 1 | (p) (q (r)) |
| | | | |
| q_13 | q_00001101 | 0 0 0 0 1 1 0 1 | (p) (r (q)) |
| | | | |
| q_140 | q_10001100 | 1 0 0 0 1 1 0 0 | q (p (r)) |
| | | | |
| q_196 | q_11000100 | 1 1 0 0 0 1 0 0 | q (r (p)) |
| | | | |
| q_35 | q_00100011 | 0 0 1 0 0 0 1 1 | (q) (p (r)) |
| | | | |
| q_49 | q_00110001 | 0 0 1 1 0 0 0 1 | (q) (r (p)) |
| | | | |
| q_138 | q_10001010 | 1 0 0 0 1 0 1 0 | r (p (q)) |
| | | | |
| q_162 | q_10100010 | 1 0 1 0 0 0 1 0 | r (q (p)) |
| | | | |
| q_69 | q_01000101 | 0 1 0 0 0 1 0 1 | (r) (p (q)) |
| | | | |
| q_81 | q_01010001 | 0 1 0 1 0 0 0 1 | (r) (q (p)) |
| | | | |
o---------o------------o-----------------o-------------------o
| | | | |
| q_79 | q_01001111 | 0 1 0 0 1 1 1 1 | ( p (q (r))) |
| | | | |
| q_47 | q_00101111 | 0 0 1 0 1 1 1 1 | ( p (r (q))) |
| | | | |
| q_244 | q_11110100 | 1 1 1 1 0 1 0 0 | ((p) (q (r))) |
| | | | |
| q_242 | q_11110010 | 1 1 1 1 0 0 1 0 | ((p) (r (q))) |
| | | | |
| q_115 | q_01110011 | 0 1 1 1 0 0 1 1 | ( q (p (r))) |
| | | | |
| q_59 | q_00111011 | 0 0 1 1 1 0 1 1 | ( q (r (p))) |
| | | | |
| q_220 | q_11011100 | 1 1 0 1 1 1 0 0 | ((q) (p (r))) |
| | | | |
| q_206 | q_11001110 | 1 1 0 0 1 1 1 0 | ((q) (r (p))) |
| | | | |
| q_117 | q_01110101 | 0 1 1 1 0 1 0 1 | ( r (p (q))) |
| | | | |
| q_93 | q_01011101 | 0 1 0 1 1 1 0 1 | ( r (q (p))) |
| | | | |
| q_186 | q_10111010 | 1 0 1 1 1 0 1 0 | ((r) (p (q))) |
| | | | |
| q_174 | q_10101110 | 1 0 1 0 1 1 1 0 | ((r) (q (p))) |
| | | | |
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