[Inquiry] Re: Cactus Rules

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

CR.  Note 13

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Table 9.  Conjunctive Differences and Equalities
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_24    | q_00011000 | 0 0 0 1 1 0 0 0 |   (p, q)  (p, r)   |
|         |            |                 |                    |
| q_36    | q_00100100 | 0 0 1 0 0 1 0 0 |   (p, q)  (q, r)   |
|         |            |                 |                    |
| q_66    | q_01000010 | 0 1 0 0 0 0 1 0 |   (p, r)  (q, r)   |
|         |            |                 |                    |
| q_129   | q_10000001 | 1 0 0 0 0 0 0 1 |  ((p, q))((q, r))  |
|         |            |                 |                    |
o---------o------------o-----------------o--------------------o
|         |            |                 |                    |
| q_231   | q_11100111 | 1 1 1 0 0 1 1 1 | ( (p, q)  (p, r) ) |
|         |            |                 |                    |
| q_219   | q_11011011 | 1 1 0 1 1 0 1 1 | ( (p, q)  (q, r) ) |
|         |            |                 |                    |
| q_189   | q_10111101 | 1 0 1 1 1 1 0 1 | ( (p, r)  (q, r) ) |
|         |            |                 |                    |
| q_126   | q_01111110 | 0 1 1 1 1 1 1 0 | (((p, q))((q, r))) |
|         |            |                 |                    |
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