Re: Cactus Rules
Jon Awbrey <[email protected]> Sat, 20 Mar 2004 00:34:10 -0500
| Newsgroups | gmane.comp.inquiry,gmane.comp.misc.ontology.general |
|---|---|
| Message-ID | <[email protected]> |
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o CR. Note 11 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o Table 7. Conjunctive Implications and Their Complements 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_139 | q_10001011 | 1 0 0 0 1 0 1 1 | (p (q))(q (r)) | | | | | | | q_141 | q_10001101 | 1 0 0 0 1 1 0 1 | (p (r))(r (q)) | | | | | | | q_177 | q_10110001 | 1 0 1 1 0 0 0 1 | (q (r))(r (p)) | | | | | | | q_163 | q_10100011 | 1 0 1 0 0 0 1 1 | (q (p))(p (r)) | | | | | | | q_197 | q_11000101 | 1 1 0 0 0 1 0 1 | (r (p))(p (q)) | | | | | | | q_209 | q_11010001 | 1 1 0 1 0 0 0 1 | (r (q))(q (p)) | | | | | | o---------o------------o-----------------o-------------------o | | | | | | q_116 | q_01110100 | 0 1 1 1 0 1 0 0 | ((p (q))(q (r))) | | | | | | | q_114 | q_01110010 | 0 1 1 1 0 0 1 0 | ((p (r))(r (q))) | | | | | | | q_78 | q_01001110 | 0 1 0 0 1 1 1 0 | ((q (r))(r (p))) | | | | | | | q_92 | q_01011100 | 0 1 0 1 1 1 0 0 | ((q (p))(p (r))) | | | | | | | q_58 | q_00111010 | 0 0 1 1 1 0 1 0 | ((r (p))(p (q))) | | | | | | | q_46 | q_00101110 | 0 0 1 0 1 1 1 0 | ((r (q))(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