Re: Cactus Rules
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