Re: Cactus Rules
Jon Awbrey <[email protected]> Sun, 04 Apr 2004 03:20:25 -0400
| Newsgroups | gmane.comp.inquiry,gmane.comp.misc.ontology.general |
|---|---|
| Message-ID | <[email protected]> |
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