Re: Cactus Rules
Jon Awbrey <[email protected]> Tue, 06 Apr 2004 11:40:08 -0400
| Newsgroups | gmane.comp.inquiry,gmane.comp.misc.ontology.general |
|---|---|
| Message-ID | <[email protected]> |
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o CR. Cactus Rules o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o Here is the group picture, such as I have it. I imagine that more economical and symmetry-revealing expressions can most likely be found for many of these. Table 256. Propositional Forms on Three Variables 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_0 | q_00000000 | 0 0 0 0 0 0 0 0 | ( ) | | | | | | | q_1 | q_00000001 | 0 0 0 0 0 0 0 1 | (p) (q) (r) | | | | | | | q_2 | q_00000010 | 0 0 0 0 0 0 1 0 | (p) (q) r | | | | | | | q_3 | q_00000011 | 0 0 0 0 0 0 1 1 | (p) (q) | | | | | | | q_4 | q_00000100 | 0 0 0 0 0 1 0 0 | (p) q (r) | | | | | | | q_5 | q_00000101 | 0 0 0 0 0 1 0 1 | (p) (r) | | | | | | | q_6 | q_00000110 | 0 0 0 0 0 1 1 0 | (p) (q , r) | | | | | | | q_7 | q_00000111 | 0 0 0 0 0 1 1 1 | (p) (q r) | | | | | | | q_8 | q_00001000 | 0 0 0 0 1 0 0 0 | (p) q r | | | | | | | q_9 | q_00001001 | 0 0 0 0 1 0 0 1 | (p) ((q , r)) | | | | | | | q_10 | q_00001010 | 0 0 0 0 1 0 1 0 | (p) r | | | | | | | q_11 | q_00001011 | 0 0 0 0 1 0 1 1 | (p) (q (r)) | | | | | | | q_12 | q_00001100 | 0 0 0 0 1 1 0 0 | (p) q | | | | | | | q_13 | q_00001101 | 0 0 0 0 1 1 0 1 | (p) ((q) r) | | | | | | | q_14 | q_00001110 | 0 0 0 0 1 1 1 0 | (p) ((q) (r)) | | | | | | | q_15 | q_00001111 | 0 0 0 0 1 1 1 1 | (p) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_16 | q_00010000 | 0 0 0 1 0 0 0 0 | p (q) (r) | | | | | | | q_17 | q_00010001 | 0 0 0 1 0 0 0 1 | (q) (r) | | | | | | | q_18 | q_00010010 | 0 0 0 1 0 0 1 0 | (p , r) (q) | | | | | | | q_19 | q_00010011 | 0 0 0 1 0 0 1 1 | (p r) (q) | | | | | | | q_20 | q_00010100 | 0 0 0 1 0 1 0 0 | (p , q) (r) | | | | | | | q_21 | q_00010101 | 0 0 0 1 0 1 0 1 | (p q) (r) | | | | | | | q_22 | q_00010110 | 0 0 0 1 0 1 1 0 | ((p), (q), (r)) | | | | | | | q_23 | q_00010111 | 0 0 0 1 0 1 1 1 | (p)(q)(r) + ((p),(q),(r)) | | | | | | | q_24 | q_00011000 | 0 0 0 1 1 0 0 0 | (p, q) (p, r) | | | | | | | q_25 | q_00011001 | 0 0 0 1 1 0 0 1 | p = ((p), (q), (r)) | | | | | | | q_26 | q_00011010 | 0 0 0 1 1 0 1 0 | (p, r) (q (r)) | | | | | | | q_27 | q_00011011 | 0 0 0 1 1 0 1 1 | (p, q)(q, r) = p q | | | | | | | q_28 | q_00011100 | 0 0 0 1 1 1 0 0 | (p, q)((q) r) | | | | | | | q_29 | q_00011101 | 0 0 0 1 1 1 0 1 | (p, r)(q, r) = p r | | | | | | | q_30 | q_00011110 | 0 0 0 1 1 1 1 0 | ((p , (q) (r))) | | | | | | | q_31 | q_00011111 | 0 0 0 1 1 1 1 1 | (p ((q) (r))) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_32 | q_00100000 | 0 0 1 0 0 0 0 0 | p (q) r | | | | | | | q_33 | q_00100001 | 0 0 1 0 0 0 0 1 | ((p , r)) (q) | | | | | | | q_34 | q_00100010 | 0 0 1 0 0 0 1 0 | (q) r | | | | | | | q_35 | q_00100011 | 0 0 1 0 0 0 1 1 | (p (r)) (q) | | | | | | | q_36 | q_00100100 | 0 0 1 0 0 1 0 0 | (p, q) (q, r) | | | | | | | q_37 | q_00100101 | 0 0 1 0 0 1 0 1 | q = ((p), (q), (r)) | | | | | | | q_38 | q_00100110 | 0 0 1 0 0 1 1 0 | (q, r) (p (r)) | | | | | | | q_39 | q_00100111 | 0 0 1 0 0 1 1 1 | (p, q)(p, r) = p q | | | | | | | q_40 | q_00101000 | 0 0 1 0 1 0 0 0 | (p , q) r | | | | | | | q_41 | q_00101001 | 0 0 1 0 1 0 0 1 | ((p), (q), r) | | | | | | | q_42 | q_00101010 | 0 0 1 0 1 0 1 0 | (p q) r | | | | | | | q_43 | q_00101011 | 0 0 1 0 1 0 1 1 | (p)(q) r + ((p),(q), r ) | | | | | | | q_44 | q_00101100 | 0 0 1 0 1 1 0 0 | (p, q) (p (r)) | | | | | | | q_45 | q_00101101 | 0 0 1 0 1 1 0 1 | ((p , (q) r)) | | | | | | | q_46 | q_00101110 | 0 0 1 0 1 1 1 0 | ((r (q))(q (p))) | | | | | | | q_47 | q_00101111 | 0 0 1 0 1 1 1 1 | (p ((q) r)) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_48 | q_00110000 | 0 0 1 1 0 0 0 0 | p (q) | | | | | | | q_49 | q_00110001 | 0 0 1 1 0 0 0 1 | ((p) r) (q) | | | | | | | q_50 | q_00110010 | 0 0 1 1 0 0 1 0 | ((p) (r)) (q) | | | | | | | q_51 | q_00110011 | 0 0 1 1 0 0 1 1 | (q) | | | | | | | q_52 | q_00110100 | 0 0 1 1 0 1 0 0 | (p, q)((p) r) | | | | | | | q_53 | q_00110101 | 0 0 1 1 0 1 0 1 | (p, r)(q, r) = q r | | | | | | | q_54 | q_00110110 | 0 0 1 1 0 1 1 0 | ((q , (p) (r))) | | | | | | | q_55 | q_00110111 | 0 0 1 1 0 1 1 1 | (((p) (r)) q) | | | | | | | q_56 | q_00111000 | 0 0 1 1 1 0 0 0 | (p, q) (q (r)) | | | | | | | q_57 | q_00111001 | 0 0 1 1 1 0 0 1 | ((q , (p) r)) | | | | | | | q_58 | q_00111010 | 0 0 1 1 1 0 1 0 | ((r (p))(p (q))) | | | | | | | q_59 | q_00111011 | 0 0 1 1 1 0 1 1 | (((p) r) q) | | | | | | | q_60 | q_00111100 | 0 0 1 1 1 1 0 0 | (p , q) | | | | | | | q_61 | q_00111101 | 0 0 1 1 1 1 0 1 | r = ( p , q , r ) | | | | | | | q_62 | q_00111110 | 0 0 1 1 1 1 1 0 | (((p, q)) ((p) r)) | | | | | | | q_63 | q_00111111 | 0 0 1 1 1 1 1 1 | (p q) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_64 | q_01000000 | 0 1 0 0 0 0 0 0 | p q (r) | | | | | | | q_65 | q_01000001 | 0 1 0 0 0 0 0 1 | ((p , q)) (r) | | | | | | | q_66 | q_01000010 | 0 1 0 0 0 0 1 0 | (p, r) (q, r) | | | | | | | q_67 | q_01000011 | 0 1 0 0 0 0 1 1 | r = ((p), (q), (r)) | | | | | | | q_68 | q_01000100 | 0 1 0 0 0 1 0 0 | q (r) | | | | | | | q_69 | q_01000101 | 0 1 0 0 0 1 0 1 | (p (q)) (r) | | | | | | | q_70 | q_01000110 | 0 1 0 0 0 1 1 0 | (q, r) (p (q)) | | | | | | | q_71 | q_01000111 | 0 1 0 0 0 1 1 1 | (p, q)(p, r) = p r | | | | | | | q_72 | q_01001000 | 0 1 0 0 1 0 0 0 | (p , r) q | | | | | | | q_73 | q_01001001 | 0 1 0 0 1 0 0 1 | ((p), q , (r)) | | | | | | | q_74 | q_01001010 | 0 1 0 0 1 0 1 0 | (p, r) (p (q)) | | | | | | | q_75 | q_01001011 | 0 1 0 0 1 0 1 1 | ((p , q (r))) | | | | | | | q_76 | q_01001100 | 0 1 0 0 1 1 0 0 | (p r) q | | | | | | | q_77 | q_01001101 | 0 1 0 0 1 1 0 1 | (p) q (r) + ((p), q ,(r)) | | | | | | | q_78 | q_01001110 | 0 1 0 0 1 1 1 0 | ((q (r))(r (p))) | | | | | | | q_79 | q_01001111 | 0 1 0 0 1 1 1 1 | (p (q (r))) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_80 | q_01010000 | 0 1 0 1 0 0 0 0 | p (r) | | | | | | | q_81 | q_01010001 | 0 1 0 1 0 0 0 1 | ((p) q) (r) | | | | | | | q_82 | q_01010010 | 0 1 0 1 0 0 1 0 | (p, r)((p) q) | | | | | | | q_83 | q_01010011 | 0 1 0 1 0 0 1 1 | (p, q)(q, r) = q r | | | | | | | q_84 | q_01010100 | 0 1 0 1 0 1 0 0 | ((p) (q)) (r) | | | | | | | q_85 | q_01010101 | 0 1 0 1 0 1 0 1 | (r) | | | | | | | q_86 | q_01010110 | 0 1 0 1 0 1 1 0 | ((r , (p) (q))) | | | | | | | q_87 | q_01010111 | 0 1 0 1 0 1 1 1 | (((p) (q)) r) | | | | | | | q_88 | q_01011000 | 0 1 0 1 1 0 0 0 | (p, r)((q) r) | | | | | | | q_89 | q_01011001 | 0 1 0 1 1 0 0 1 | ((r , (p) q)) | | | | | | | q_90 | q_01011010 | 0 1 0 1 1 0 1 0 | (p , r) | | | | | | | q_91 | q_01011011 | 0 1 0 1 1 0 1 1 | q = ( p , q , r ) | | | | | | | q_92 | q_01011100 | 0 1 0 1 1 1 0 0 | ((q (p))(p (r))) | | | | | | | q_93 | q_01011101 | 0 1 0 1 1 1 0 1 | (((p) q) r) | | | | | | | q_94 | q_01011110 | 0 1 0 1 1 1 1 0 | (((p, r)) ((p) q)) | | | | | | | q_95 | q_01011111 | 0 1 0 1 1 1 1 1 | (p r) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_96 | q_01100000 | 0 1 1 0 0 0 0 0 | p (q , r) | | | | | | | q_97 | q_01100001 | 0 1 1 0 0 0 0 1 | (p , (q), (r)) | | | | | | | q_98 | q_01100010 | 0 1 1 0 0 0 1 0 | (q, r)((p) q) | | | | | | | q_99 | q_01100011 | 0 1 1 0 0 0 1 1 | ((q , p (r))) | | | | | | | q_100 | q_01100100 | 0 1 1 0 0 1 0 0 | (q, r)((p) r) | | | | | | | q_101 | q_01100101 | 0 1 1 0 0 1 0 1 | ((r , p (q))) | | | | | | | q_102 | q_01100110 | 0 1 1 0 0 1 1 0 | (q , r) | | | | | | | q_103 | q_01100111 | 0 1 1 0 0 1 1 1 | p = ( p , q , r ) | | | | | | | q_104 | q_01101000 | 0 1 1 0 1 0 0 0 | (p , q , r) | | | | | | | q_105 | q_01101001 | 0 1 1 0 1 0 0 1 | ((p , (q , r))) | | | | | | | q_106 | q_01101010 | 0 1 1 0 1 0 1 0 | ((r , (p q))) | | | | | | | q_107 | q_01101011 | 0 1 1 0 1 0 1 1 | ((p , q , (r))) | | | | | | | q_108 | q_01101100 | 0 1 1 0 1 1 0 0 | ((q , (p r))) | | | | | | | q_109 | q_01101101 | 0 1 1 0 1 1 0 1 | ((p , (q), r)) | | | | | | | q_110 | q_01101110 | 0 1 1 0 1 1 1 0 | (((p) q)((q, r))) | | | | | | | q_111 | q_01101111 | 0 1 1 0 1 1 1 1 | (p ((q , r))) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_112 | q_01110000 | 0 1 1 1 0 0 0 0 | p (q r) | | | | | | | q_113 | q_01110001 | 0 1 1 1 0 0 0 1 | p (q)(r) + ( p ,(q),(r)) | | | | | | | q_114 | q_01110010 | 0 1 1 1 0 0 1 0 | ((p (r))(r (q))) | | | | | | | q_115 | q_01110011 | 0 1 1 1 0 0 1 1 | ((p (r)) q) | | | | | | | q_116 | q_01110100 | 0 1 1 1 0 1 0 0 | ((p (q))(q (r))) | | | | | | | q_117 | q_01110101 | 0 1 1 1 0 1 0 1 | ((p (q)) r) | | | | | | | q_118 | q_01110110 | 0 1 1 1 0 1 1 0 | (((q, r))(p (q))) | | | | | | | q_119 | q_01110111 | 0 1 1 1 0 1 1 1 | (q r) | | | | | | | q_120 | q_01111000 | 0 1 1 1 1 0 0 0 | ((p , (q r))) | | | | | | | q_121 | q_01111001 | 0 1 1 1 1 0 0 1 | (((p), q , r)) | | | | | | | q_122 | q_01111010 | 0 1 1 1 1 0 1 0 | (((p, r))(p (q))) | | | | | | | q_123 | q_01111011 | 0 1 1 1 1 0 1 1 | (((p , r)) q) | | | | | | | q_124 | q_01111100 | 0 1 1 1 1 1 0 0 | (((p, q))(p (r))) | | | | | | | q_125 | q_01111101 | 0 1 1 1 1 1 0 1 | (((p , q)) r) | | | | | | | q_126 | q_01111110 | 0 1 1 1 1 1 1 0 | (((p, q)) ((q, r))) | | | | | | | q_127 | q_01111111 | 0 1 1 1 1 1 1 1 | (p q r) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_128 | q_10000000 | 1 0 0 0 0 0 0 0 | p q r | | | | | | | q_129 | q_10000001 | 1 0 0 0 0 0 0 1 | ((p, q)) ((q, r)) | | | | | | | q_130 | q_10000010 | 1 0 0 0 0 0 1 0 | ((p , q)) r | | | | | | | q_131 | q_10000011 | 1 0 0 0 0 0 1 1 | ((p, q)) (p (r)) | | | | | | | q_132 | q_10000100 | 1 0 0 0 0 1 0 0 | ((p , r)) q | | | | | | | q_133 | q_10000101 | 1 0 0 0 0 1 0 1 | ((p, r)) (p (q)) | | | | | | | q_134 | q_10000110 | 1 0 0 0 0 1 1 0 | ((p), q , r) | | | | | | | q_135 | q_10000111 | 1 0 0 0 0 1 1 1 | ((p , q r)) | | | | | | | q_136 | q_10001000 | 1 0 0 0 1 0 0 0 | q r | | | | | | | q_137 | q_10001001 | 1 0 0 0 1 0 0 1 | ((q, r)) (p (q)) | | | | | | | q_138 | q_10001010 | 1 0 0 0 1 0 1 0 | (p (q)) r | | | | | | | q_139 | q_10001011 | 1 0 0 0 1 0 1 1 | (p (q))(q (r)) | | | | | | | q_140 | q_10001100 | 1 0 0 0 1 1 0 0 | (p (r)) q | | | | | | | q_141 | q_10001101 | 1 0 0 0 1 1 0 1 | (p (r))(r (q)) | | | | | | | q_142 | q_10001110 | 1 0 0 0 1 1 1 0 | (p) q r + ((p), q , r ) | | | | | | | q_143 | q_10001111 | 1 0 0 0 1 1 1 1 | (p (q r)) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_144 | q_10010000 | 1 0 0 1 0 0 0 0 | p ((q , r)) | | | | | | | q_145 | q_10010001 | 1 0 0 1 0 0 0 1 | ((p) q)((q, r)) | | | | | | | q_146 | q_10010010 | 1 0 0 1 0 0 1 0 | (p , (q), r) | | | | | | | q_147 | q_10010011 | 1 0 0 1 0 0 1 1 | ((q , p r)) | | | | | | | q_148 | q_10010100 | 1 0 0 1 0 1 0 0 | (p , q , (r)) | | | | | | | q_149 | q_10010101 | 1 0 0 1 0 1 0 1 | ((r , p q)) | | | | | | | q_150 | q_10010110 | 1 0 0 1 0 1 1 0 | (p , (q , r)) | | | | | | | q_151 | q_10010111 | 1 0 0 1 0 1 1 1 | ((p , q , r)) | | | | | | | q_152 | q_10011000 | 1 0 0 1 1 0 0 0 | p + ( p , q , r ) | | | | | | | q_153 | q_10011001 | 1 0 0 1 1 0 0 1 | ((q , r)) | | | | | | | q_154 | q_10011010 | 1 0 0 1 1 0 1 0 | ((r , (p (q)))) | | | | | | | q_155 | q_10011011 | 1 0 0 1 1 0 1 1 | ((q, r)((p) r)) | | | | | | | q_156 | q_10011100 | 1 0 0 1 1 1 0 0 | ((q , (p (r)))) | | | | | | | q_157 | q_10011101 | 1 0 0 1 1 1 0 1 | ((q, r)((p) q)) | | | | | | | q_158 | q_10011110 | 1 0 0 1 1 1 1 0 | ((p , (q), (r))) | | | | | | | q_159 | q_10011111 | 1 0 0 1 1 1 1 1 | (p (q , r)) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_160 | q_10100000 | 1 0 1 0 0 0 0 0 | p r | | | | | | | q_161 | q_10100001 | 1 0 1 0 0 0 0 1 | ((p, r)) ((p) q) | | | | | | | q_162 | q_10100010 | 1 0 1 0 0 0 1 0 | ((p) q) r | | | | | | | q_163 | q_10100011 | 1 0 1 0 0 0 1 1 | (q (p))(p (r)) | | | | | | | q_164 | q_10100100 | 1 0 1 0 0 1 0 0 | q + ( p , q , r ) | | | | | | | q_165 | q_10100101 | 1 0 1 0 0 1 0 1 | ((p , r)) | | | | | | | q_166 | q_10100110 | 1 0 1 0 0 1 1 0 | ((r ,((p) q))) | | | | | | | q_167 | q_10100111 | 1 0 1 0 0 1 1 1 | ((p, r)((q) r)) | | | | | | | q_168 | q_10101000 | 1 0 1 0 1 0 0 0 | ((p) (q)) r | | | | | | | q_169 | q_10101001 | 1 0 1 0 1 0 0 1 | ((r ,((p) (q)))) | | | | | | | q_170 | q_10101010 | 1 0 1 0 1 0 1 0 | r | | | | | | | q_171 | q_10101011 | 1 0 1 0 1 0 1 1 | (((p) (q)) (r)) | | | | | | | q_172 | q_10101100 | 1 0 1 0 1 1 0 0 | (p, q)(q, r) + q r | | | | | | | q_173 | q_10101101 | 1 0 1 0 1 1 0 1 | ((p, r)((p) q)) | | | | | | | q_174 | q_10101110 | 1 0 1 0 1 1 1 0 | (((p) q) (r)) | | | | | | | q_175 | q_10101111 | 1 0 1 0 1 1 1 1 | (p (r)) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_176 | q_10110000 | 1 0 1 1 0 0 0 0 | p (q (r)) | | | | | | | q_177 | q_10110001 | 1 0 1 1 0 0 0 1 | (q (r))(r (p)) | | | | | | | q_178 | q_10110010 | 1 0 1 1 0 0 1 0 | p (q) r + ( p ,(q), r ) | | | | | | | q_179 | q_10110011 | 1 0 1 1 0 0 1 1 | ((p r) q) | | | | | | | q_180 | q_10110100 | 1 0 1 1 0 1 0 0 | ((p , (q (r)))) | | | | | | | q_181 | q_10110101 | 1 0 1 1 0 1 0 1 | ((p, r) (p (q))) | | | | | | | q_182 | q_10110110 | 1 0 1 1 0 1 1 0 | (((p), q , (r))) | | | | | | | q_183 | q_10110111 | 1 0 1 1 0 1 1 1 | ((p , r) q | | | | | | | q_184 | q_10111000 | 1 0 1 1 1 0 0 0 | (p, q)(p, r) + p r | | | | | | | q_185 | q_10111001 | 1 0 1 1 1 0 0 1 | ((q, r) (p (q))) | | | | | | | q_186 | q_10111010 | 1 0 1 1 1 0 1 0 | ((p (q)) (r)) | | | | | | | q_187 | q_10111011 | 1 0 1 1 1 0 1 1 | (q (r)) | | | | | | | q_188 | q_10111100 | 1 0 1 1 1 1 0 0 | r + ((p), (q), (r)) | | | | | | | q_189 | q_10111101 | 1 0 1 1 1 1 0 1 | ((p, r) (q, r)) | | | | | | | q_190 | q_10111110 | 1 0 1 1 1 1 1 0 | (((p , q)) (r)) | | | | | | | q_191 | q_10111111 | 1 0 1 1 1 1 1 1 | (p q (r)) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_192 | q_11000000 | 1 1 0 0 0 0 0 0 | p q | | | | | | | q_193 | q_11000001 | 1 1 0 0 0 0 0 1 | ((p, q)) ((p) r) | | | | | | | q_194 | q_11000010 | 1 1 0 0 0 0 1 0 | r + ( p , q , r ) | | | | | | | q_195 | q_11000011 | 1 1 0 0 0 0 1 1 | ((p , q)) | | | | | | | q_196 | q_11000100 | 1 1 0 0 0 1 0 0 | ((p) r) q | | | | | | | q_197 | q_11000101 | 1 1 0 0 0 1 0 1 | (r (p))(p (q)) | | | | | | | q_198 | q_11000110 | 1 1 0 0 0 1 1 0 | ((q ,((p) r))) | | | | | | | q_199 | q_11000111 | 1 1 0 0 0 1 1 1 | ((p, q) (q (r))) | | | | | | | q_200 | q_11001000 | 1 1 0 0 1 0 0 0 | ((p) (r)) q | | | | | | | q_201 | q_11001001 | 1 1 0 0 1 0 0 1 | ((q ,((p) (r)))) | | | | | | | q_202 | q_11001010 | 1 1 0 0 1 0 1 0 | (p, r)(q, r) + q r | | | | | | | q_203 | q_11001011 | 1 1 0 0 1 0 1 1 | ((p, q) ((p) r)) | | | | | | | q_204 | q_11001100 | 1 1 0 0 1 1 0 0 | q | | | | | | | q_205 | q_11001101 | 1 1 0 0 1 1 0 1 | (((p) (r)) (q)) | | | | | | | q_206 | q_11001110 | 1 1 0 0 1 1 1 0 | (((p) r) (q)) | | | | | | | q_207 | q_11001111 | 1 1 0 0 1 1 1 1 | (p (q)) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_208 | q_11010000 | 1 1 0 1 0 0 0 0 | p ((q) r) | | | | | | | q_209 | q_11010001 | 1 1 0 1 0 0 0 1 | (r (q))(q (p)) | | | | | | | q_210 | q_11010010 | 1 1 0 1 0 0 1 0 | ((p ,((q) r))) | | | | | | | q_211 | q_11010011 | 1 1 0 1 0 0 1 1 | ((p, q) (p (r))) | | | | | | | q_212 | q_11010100 | 1 1 0 1 0 1 0 0 | p q (r) + ( p , q ,(r)) | | | | | | | q_213 | q_11010101 | 1 1 0 1 0 1 0 1 | ((p q) r) | | | | | | | q_214 | q_11010110 | 1 1 0 1 0 1 1 0 | (((p), (q), r)) | | | | | | | q_215 | q_11010111 | 1 1 0 1 0 1 1 1 | ((p , q) r) | | | | | | | q_216 | q_11011000 | 1 1 0 1 1 0 0 0 | (p, q)(p, r) + p q | | | | | | | q_217 | q_11011001 | 1 1 0 1 1 0 0 1 | ((q, r) (p (r))) | | | | | | | q_218 | q_11011010 | 1 1 0 1 1 0 1 0 | q + ((p), (q), (r)) | | | | | | | q_219 | q_11011011 | 1 1 0 1 1 0 1 1 | ((p, q) (q, r)) | | | | | | | q_220 | q_11011100 | 1 1 0 1 1 1 0 0 | ((p (r)) (q)) | | | | | | | q_221 | q_11011101 | 1 1 0 1 1 1 0 1 | ((q) r) | | | | | | | q_222 | q_11011110 | 1 1 0 1 1 1 1 0 | (((p , r)) (q)) | | | | | | | q_223 | q_11011111 | 1 1 0 1 1 1 1 1 | (p (q) r) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_224 | q_11100000 | 1 1 1 0 0 0 0 0 | p ((q) (r)) | | | | | | | q_225 | q_11100001 | 1 1 1 0 0 0 0 1 | (p, (q) (r)) | | | | | | | q_226 | q_11100010 | 1 1 1 0 0 0 1 0 | (p, r)(q, r) + p r | | | | | | | q_227 | q_11100011 | 1 1 1 0 0 0 1 1 | ((p, q)((q) r)) | | | | | | | q_228 | q_11100100 | 1 1 1 0 0 1 0 0 | (p, q)(q, r) + p q | | | | | | | q_229 | q_11100101 | 1 1 1 0 0 1 0 1 | ((p, r) (q (r))) | | | | | | | q_230 | q_11100110 | 1 1 1 0 0 1 1 0 | p + ((p), (q), (r)) | | | | | | | q_231 | q_11100111 | 1 1 1 0 0 1 1 1 | ((p, q) (p, r)) | | | | | | | q_232 | q_11101000 | 1 1 1 0 1 0 0 0 | p q r + ( p , q , r ) | | | | | | | q_233 | q_11101001 | 1 1 1 0 1 0 0 1 | (((p), (q), (r))) | | | | | | | q_234 | q_11101010 | 1 1 1 0 1 0 1 0 | ((p q) (r)) | | | | | | | q_235 | q_11101011 | 1 1 1 0 1 0 1 1 | ((p, q) (r)) | | | | | | | q_236 | q_11101100 | 1 1 1 0 1 1 0 0 | ((p r) (q)) | | | | | | | q_237 | q_11101101 | 1 1 1 0 1 1 0 1 | ((p, r) (q)) | | | | | | | q_238 | q_11101110 | 1 1 1 0 1 1 1 0 | ((q) (r)) | | | | | | | q_239 | q_11101111 | 1 1 1 0 1 1 1 1 | (p (q) (r)) | | | | | | o---------o------------o-----------------o---------------------------o | | | | | | q_240 | q_11110000 | 1 1 1 1 0 0 0 0 | p | | | | | | | q_241 | q_11110001 | 1 1 1 1 0 0 0 1 | ((p) ((q) (r))) | | | | | | | q_242 | q_11110010 | 1 1 1 1 0 0 1 0 | ((p) ((q) r)) | | | | | | | q_243 | q_11110011 | 1 1 1 1 0 0 1 1 | ((p) q) | | | | | | | q_244 | q_11110100 | 1 1 1 1 0 1 0 0 | ((p) (q (r))) | | | | | | | q_245 | q_11110101 | 1 1 1 1 0 1 0 1 | ((p) r) | | | | | | | q_246 | q_11110110 | 1 1 1 1 0 1 1 0 | ((p) ((q, r))) | | | | | | | q_247 | q_11110111 | 1 1 1 1 0 1 1 1 | ((p) q r) | | | | | | | q_248 | q_11111000 | 1 1 1 1 1 0 0 0 | ((p) (q r)) | | | | | | | q_249 | q_11111001 | 1 1 1 1 1 0 0 1 | ((p) (q, r)) | | | | | | | q_250 | q_11111010 | 1 1 1 1 1 0 1 0 | ((p) (r)) | | | | | | | q_251 | q_11111011 | 1 1 1 1 1 0 1 1 | ((p) q (r)) | | | | | | | q_252 | q_11111100 | 1 1 1 1 1 1 0 0 | ((p) (q)) | | | | | | | q_253 | q_11111101 | 1 1 1 1 1 1 0 1 | ((p) (q) r) | | | | | | | q_254 | q_11111110 | 1 1 1 1 1 1 1 0 | ((p) (q) (r)) | | | | | | | q_255 | q_11111111 | 1 1 1 1 1 1 1 1 | (( )) | | | | | | 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