Re: Cactus Rules
Jon Awbrey <[email protected]> Fri, 19 Mar 2004 16:40:19 -0500
| Newsgroups | gmane.comp.inquiry,gmane.comp.misc.ontology.general |
|---|---|
| Message-ID | <[email protected]> |
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o CR. Note 10 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o Table 6. More Variations on a Theme of Implication 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_176 | q_10110000 | 1 0 1 1 0 0 0 0 | p (q (r)) | | | | | | | q_208 | q_11010000 | 1 1 0 1 0 0 0 0 | p (r (q)) | | | | | | | q_11 | q_00001011 | 0 0 0 0 1 0 1 1 | (p) (q (r)) | | | | | | | q_13 | q_00001101 | 0 0 0 0 1 1 0 1 | (p) (r (q)) | | | | | | | q_140 | q_10001100 | 1 0 0 0 1 1 0 0 | q (p (r)) | | | | | | | q_196 | q_11000100 | 1 1 0 0 0 1 0 0 | q (r (p)) | | | | | | | q_35 | q_00100011 | 0 0 1 0 0 0 1 1 | (q) (p (r)) | | | | | | | q_49 | q_00110001 | 0 0 1 1 0 0 0 1 | (q) (r (p)) | | | | | | | q_138 | q_10001010 | 1 0 0 0 1 0 1 0 | r (p (q)) | | | | | | | q_162 | q_10100010 | 1 0 1 0 0 0 1 0 | r (q (p)) | | | | | | | q_69 | q_01000101 | 0 1 0 0 0 1 0 1 | (r) (p (q)) | | | | | | | q_81 | q_01010001 | 0 1 0 1 0 0 0 1 | (r) (q (p)) | | | | | | o---------o------------o-----------------o-------------------o | | | | | | q_79 | q_01001111 | 0 1 0 0 1 1 1 1 | ( p (q (r))) | | | | | | | q_47 | q_00101111 | 0 0 1 0 1 1 1 1 | ( p (r (q))) | | | | | | | q_244 | q_11110100 | 1 1 1 1 0 1 0 0 | ((p) (q (r))) | | | | | | | q_242 | q_11110010 | 1 1 1 1 0 0 1 0 | ((p) (r (q))) | | | | | | | q_115 | q_01110011 | 0 1 1 1 0 0 1 1 | ( q (p (r))) | | | | | | | q_59 | q_00111011 | 0 0 1 1 1 0 1 1 | ( q (r (p))) | | | | | | | q_220 | q_11011100 | 1 1 0 1 1 1 0 0 | ((q) (p (r))) | | | | | | | q_206 | q_11001110 | 1 1 0 0 1 1 1 0 | ((q) (r (p))) | | | | | | | q_117 | q_01110101 | 0 1 1 1 0 1 0 1 | ( r (p (q))) | | | | | | | q_93 | q_01011101 | 0 1 0 1 1 1 0 1 | ( r (q (p))) | | | | | | | q_186 | q_10111010 | 1 0 1 1 1 0 1 0 | ((r) (p (q))) | | | | | | | q_174 | q_10101110 | 1 0 1 0 1 1 1 0 | ((r) (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