ONT Re: Cactus Rules
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
CR. Note 11
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Table 7. Conjunctive Implications and Their Complements
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_139 | q_10001011 | 1 0 0 0 1 0 1 1 | (p (q))(q (r)) |
| | | | |
| q_141 | q_10001101 | 1 0 0 0 1 1 0 1 | (p (r))(r (q)) |
| | | | |
| q_177 | q_10110001 | 1 0 1 1 0 0 0 1 | (q (r))(r (p)) |
| | | | |
| q_163 | q_10100011 | 1 0 1 0 0 0 1 1 | (q (p))(p (r)) |
| | | | |
| q_197 | q_11000101 | 1 1 0 0 0 1 0 1 | (r (p))(p (q)) |
| | | | |
| q_209 | q_11010001 | 1 1 0 1 0 0 0 1 | (r (q))(q (p)) |
| | | | |
o---------o------------o-----------------o-------------------o
| | | | |
| q_116 | q_01110100 | 0 1 1 1 0 1 0 0 | ((p (q))(q (r))) |
| | | | |
| q_114 | q_01110010 | 0 1 1 1 0 0 1 0 | ((p (r))(r (q))) |
| | | | |
| q_78 | q_01001110 | 0 1 0 0 1 1 1 0 | ((q (r))(r (p))) |
| | | | |
| q_92 | q_01011100 | 0 1 0 1 1 1 0 0 | ((q (p))(p (r))) |
| | | | |
| q_58 | q_00111010 | 0 0 1 1 1 0 1 0 | ((r (p))(p (q))) |
| | | | |
| q_46 | q_00101110 | 0 0 1 0 1 1 1 0 | ((r (q))(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