Re: Cactus Rules
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
CR. Note 20
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Table 16. Paisley Propositions
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_216 | q_11011000 | 1 1 0 1 1 0 0 0 | (p, q)(p, r) + p q |
| | | | |
| q_184 | q_10111000 | 1 0 1 1 1 0 0 0 | (p, q)(p, r) + p r |
| | | | |
| q_228 | q_11100100 | 1 1 1 0 0 1 0 0 | (p, q)(q, r) + p q |
| | | | |
| q_172 | q_10101100 | 1 0 1 0 1 1 0 0 | (p, q)(q, r) + q r |
| | | | |
| q_226 | q_11100010 | 1 1 1 0 0 0 1 0 | (p, r)(q, r) + p r |
| | | | |
| q_202 | q_11001010 | 1 1 0 0 1 0 1 0 | (p, r)(q, r) + q r |
| | | | |
o---------o------------o-----------------o---------------------------o
| | | | |
| q_39 | q_00100111 | 0 0 1 0 0 1 1 1 | (p, q)(p, r) = p q |
| | | | |
| q_71 | q_01000111 | 0 1 0 0 0 1 1 1 | (p, q)(p, r) = p r |
| | | | |
| q_27 | q_00011011 | 0 0 0 1 1 0 1 1 | (p, q)(q, r) = p q |
| | | | |
| q_83 | q_01010011 | 0 1 0 1 0 0 1 1 | (p, q)(q, r) = q r |
| | | | |
| q_29 | q_00011101 | 0 0 0 1 1 1 0 1 | (p, r)(q, r) = p r |
| | | | |
| q_53 | q_00110101 | 0 0 1 1 0 1 0 1 | (p, r)(q, r) = 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