Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

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