Re: Cactus Rules
Jon Awbrey <[email protected]> Tue, 23 Mar 2004 13:00:03 -0500
| Newsgroups | gmane.comp.inquiry,gmane.comp.misc.ontology.general |
|---|---|
| Message-ID | <[email protected]> |
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o CR. Note 17 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o Table 13. Differences & Equalities Conjoined with Implications 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_44 | q_00101100 | 0 0 1 0 1 1 0 0 | (p, q) (p (r)) | | | | | | | q_52 | q_00110100 | 0 0 1 1 0 1 0 0 | (p, q) ((p) r) | | | | | | | q_56 | q_00111000 | 0 0 1 1 1 0 0 0 | (p, q) (q (r)) | | | | | | | q_28 | q_00011100 | 0 0 0 1 1 1 0 0 | (p, q) ((q) r) | | | | | | | q_131 | q_10000011 | 1 0 0 0 0 0 1 1 | ((p, q)) (p (r)) | | | | | | | q_193 | q_11000001 | 1 1 0 0 0 0 0 1 | ((p, q)) ((p) r) | | | | | | | | | | | | q_74 | q_01001010 | 0 1 0 0 1 0 1 0 | (p, r) (p (q)) | | | | | | | q_82 | q_01010010 | 0 1 0 1 0 0 1 0 | (p, r) ((p) q) | | | | | | | q_26 | q_00011010 | 0 0 0 1 1 0 1 0 | (p, r) (q (r)) | | | | | | | q_88 | q_01011000 | 0 1 0 1 1 0 0 0 | (p, r) ((q) r) | | | | | | | q_133 | q_10000101 | 1 0 0 0 0 1 0 1 | ((p, r)) (p (q)) | | | | | | | q_161 | q_10100001 | 1 0 1 0 0 0 0 1 | ((p, r)) ((p) q) | | | | | | | | | | | | q_70 | q_01000110 | 0 1 0 0 0 1 1 0 | (q, r) (p (q)) | | | | | | | q_98 | q_01100010 | 0 1 1 0 0 0 1 0 | (q, r) ((p) q) | | | | | | | q_38 | q_00100110 | 0 0 1 0 0 1 1 0 | (q, r) (p (r)) | | | | | | | q_100 | q_01100100 | 0 1 1 0 0 1 0 0 | (q, r) ((p) r) | | | | | | | q_137 | q_10001001 | 1 0 0 0 1 0 0 1 | ((q, r)) (p (q)) | | | | | | | q_145 | q_10010001 | 1 0 0 1 0 0 0 1 | ((q, r)) ((p) q) | | | | | | o---------o------------o-----------------o---------------------o | | | | | | q_211 | q_11010011 | 1 1 0 1 0 0 1 1 | ((p, q) (p (r))) | | | | | | | q_203 | q_11001011 | 1 1 0 0 1 0 1 1 | ((p, q) ((p) r)) | | | | | | | q_199 | q_11000111 | 1 1 0 0 0 1 1 1 | ((p, q) (q (r))) | | | | | | | q_227 | q_11100011 | 1 1 1 0 0 0 1 1 | ((p, q) ((q) r)) | | | | | | | q_124 | q_01111100 | 0 1 1 1 1 1 0 0 | (((p, q)) (p (r))) | | | | | | | q_62 | q_00111110 | 0 0 1 1 1 1 1 0 | (((p, q)) ((p) r)) | | | | | | | | | | | | q_181 | q_10110101 | 1 0 1 1 0 1 0 1 | ((p, r) (p (q))) | | | | | | | q_173 | q_10101101 | 1 0 1 0 1 1 0 1 | ((p, r) ((p) q)) | | | | | | | q_229 | q_11100101 | 1 1 1 0 0 1 0 1 | ((p, r) (q (r))) | | | | | | | q_167 | q_10100111 | 1 0 1 0 0 1 1 1 | ((p, r) ((q) r)) | | | | | | | q_122 | q_01111010 | 0 1 1 1 1 0 1 0 | (((p, r)) (p (q))) | | | | | | | q_94 | q_01011110 | 0 1 0 1 1 1 1 0 | (((p, r)) ((p) q)) | | | | | | | | | | | | q_185 | q_10111001 | 1 0 1 1 1 0 0 1 | ((q, r) (p (q))) | | | | | | | q_157 | q_10011101 | 1 0 0 1 1 1 0 1 | ((q, r) ((p) q)) | | | | | | | q_217 | q_11011001 | 1 1 0 1 1 0 0 1 | ((q, r) (p (r))) | | | | | | | q_155 | q_10011011 | 1 0 0 1 1 0 1 1 | ((q, r) ((p) r)) | | | | | | | q_118 | q_01110110 | 0 1 1 1 0 1 1 0 | (((q, r)) (p (q))) | | | | | | | q_110 | q_01101110 | 0 1 1 0 1 1 1 0 | (((q, r)) ((p) q)) | | | | | | 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