Re: Cactus Rules
Jon Awbrey <[email protected]> Sat, 20 Mar 2004 15:06:14 -0500
| Newsgroups | gmane.comp.inquiry,gmane.comp.misc.ontology.general |
|---|---|
| Message-ID | <[email protected]> |
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