A not-too-subtle dump for all elementary 1D CA - a minial logical expression generator script for each rule - independent from golly:
And the results are (rule/number of substitutions/expression length in characters/distinct gates/expression):
Code: Select all
0 0 1 0 0
1 3 20 2 NOT(IOR(IOR(p,q),r))
2 3 20 3 AND(NOT(IOR(p,q)),r)
3 2 13 2 NOT(IOR(p,q))
4 3 20 3 AND(NOT(IOR(p,r)),q)
5 2 13 2 NOT(IOR(p,r))
6 3 20 3 AND(NOT(p),XOR(q,r))
7 3 20 3 NOT(IOR(AND(q,r),p))
8 3 20 2 AND(AND(NOT(p),q),r)
9 3 20 3 NOT(IOR(XOR(q,r),p))
10 2 13 2 AND(NOT(p),r)
11 3 25 3 AND(IOR(NOT(q),r),NOT(p))
12 2 13 2 AND(NOT(p),q)
13 3 25 3 AND(IOR(NOT(r),q),NOT(p))
14 3 20 3 AND(IOR(q,r),NOT(p))
15 1 6 1 NOT(p)
16 3 20 3 AND(NOT(IOR(q,r)),p)
17 2 13 2 NOT(IOR(q,r))
18 3 20 3 AND(NOT(q),XOR(p,r))
19 3 20 3 NOT(IOR(AND(p,r),q))
20 3 20 3 AND(NOT(r),XOR(p,q))
21 3 20 3 NOT(IOR(AND(p,q),r))
22 5 29 3 XOR(IOR(AND(p,q),XOR(p,r)),q)
23 5 34 3 NOT(AND(IOR(AND(p,q),r),IOR(p,q)))
24 4 22 2 AND(XOR(p,q),XOR(p,r))
25 4 27 4 NOT(IOR(AND(p,q),XOR(q,r)))
26 4 22 3 XOR(IOR(AND(p,q),r),p)
27 4 27 3 NOT(XOR(AND(XOR(p,q),r),q))
28 4 22 3 XOR(IOR(AND(p,r),q),p)
29 4 27 3 NOT(XOR(AND(XOR(p,r),q),r))
30 3 15 2 XOR(IOR(q,r),p)
31 3 20 3 NOT(AND(IOR(q,r),p))
32 3 20 2 AND(AND(NOT(q),p),r)
33 3 20 3 NOT(IOR(XOR(p,r),q))
34 2 13 2 AND(NOT(q),r)
35 3 25 3 AND(IOR(NOT(p),r),NOT(q))
36 4 22 2 AND(XOR(p,q),XOR(q,r))
37 4 27 4 NOT(IOR(AND(p,q),XOR(p,r)))
38 4 22 3 XOR(IOR(AND(p,q),r),q)
39 4 27 3 NOT(XOR(AND(XOR(p,q),r),p))
40 3 15 2 AND(XOR(p,q),r)
41 5 34 4 NOT(IOR(AND(p,q),XOR(IOR(p,q),r)))
42 3 20 2 AND(NOT(AND(p,q)),r)
43 5 34 3 NOT(XOR(AND(XOR(p,q),XOR(p,r)),q))
44 4 22 3 AND(IOR(q,r),XOR(p,q))
45 3 20 3 XOR(IOR(NOT(r),q),p)
46 4 22 2 XOR(IOR(XOR(p,r),q),p)
47 3 25 3 IOR(AND(NOT(q),r),NOT(p))
48 2 13 2 AND(NOT(q),p)
49 3 25 3 AND(IOR(NOT(r),p),NOT(q))
50 3 20 3 AND(IOR(p,r),NOT(q))
51 1 6 1 NOT(q)
52 4 22 3 XOR(IOR(AND(q,r),p),q)
53 4 27 3 NOT(XOR(AND(XOR(q,r),p),r))
54 3 15 2 XOR(IOR(p,r),q)
55 3 20 3 NOT(AND(IOR(p,r),q))
56 4 22 3 AND(IOR(p,r),XOR(p,q))
57 3 20 3 XOR(IOR(NOT(r),p),q)
58 4 22 2 XOR(IOR(XOR(q,r),p),q)
59 3 25 3 IOR(AND(NOT(p),r),NOT(q))
60 2 8 1 XOR(p,q)
61 4 27 3 IOR(NOT(IOR(p,r)),XOR(p,q))
62 4 27 4 IOR(AND(NOT(p),r),XOR(p,q))
63 2 13 2 NOT(AND(p,q))
64 3 20 2 AND(AND(NOT(r),p),q)
65 3 20 3 NOT(IOR(XOR(p,q),r))
66 4 22 2 AND(XOR(p,r),XOR(q,r))
67 4 27 4 NOT(IOR(AND(p,r),XOR(p,q)))
68 2 13 2 AND(NOT(r),q)
69 3 25 3 AND(IOR(NOT(p),q),NOT(r))
70 4 22 3 XOR(IOR(AND(p,r),q),r)
71 4 27 3 NOT(XOR(AND(XOR(p,r),q),p))
72 3 15 2 AND(XOR(p,r),q)
73 5 34 4 NOT(IOR(AND(p,r),XOR(IOR(p,r),q)))
74 4 22 3 AND(IOR(q,r),XOR(p,r))
75 3 20 3 XOR(IOR(NOT(q),r),p)
76 3 20 2 AND(NOT(AND(p,r)),q)
77 5 34 3 NOT(XOR(AND(XOR(p,q),XOR(p,r)),r))
78 4 22 2 XOR(IOR(XOR(p,q),r),p)
79 3 25 3 IOR(AND(NOT(r),q),NOT(p))
80 2 13 2 AND(NOT(r),p)
81 3 25 3 AND(IOR(NOT(q),p),NOT(r))
82 4 22 3 XOR(IOR(AND(q,r),p),r)
83 4 27 3 NOT(XOR(AND(XOR(q,r),p),q))
84 3 20 3 AND(IOR(p,q),NOT(r))
85 1 6 1 NOT(r)
86 3 15 2 XOR(IOR(p,q),r)
87 3 20 3 NOT(AND(IOR(p,q),r))
88 4 22 3 AND(IOR(p,q),XOR(p,r))
89 3 20 3 XOR(IOR(NOT(q),p),r)
90 2 8 1 XOR(p,r)
91 4 27 3 IOR(NOT(IOR(p,q)),XOR(p,r))
92 4 22 2 XOR(IOR(XOR(q,r),p),r)
93 3 25 3 IOR(AND(NOT(p),q),NOT(r))
94 4 27 4 IOR(AND(NOT(p),q),XOR(p,r))
95 2 13 2 NOT(AND(p,r))
96 3 15 2 AND(XOR(q,r),p)
97 5 34 4 NOT(IOR(AND(q,r),XOR(IOR(q,r),p)))
98 4 22 3 AND(IOR(p,r),XOR(q,r))
99 3 20 3 XOR(IOR(NOT(p),r),q)
100 4 22 3 AND(IOR(p,q),XOR(q,r))
101 3 20 3 XOR(IOR(NOT(p),q),r)
102 2 8 1 XOR(q,r)
103 4 27 3 IOR(NOT(IOR(p,q)),XOR(q,r))
104 5 29 3 AND(IOR(p,q),XOR(AND(p,q),r))
105 3 20 2 NOT(XOR(XOR(p,q),r))
106 3 15 2 XOR(AND(p,q),r)
107 5 34 4 IOR(NOT(IOR(p,q)),XOR(AND(p,q),r))
108 3 15 2 XOR(AND(p,r),q)
109 5 34 4 IOR(NOT(IOR(p,r)),XOR(AND(p,r),q))
110 4 27 4 IOR(AND(NOT(p),q),XOR(q,r))
111 3 20 3 IOR(NOT(p),XOR(q,r))
112 3 20 2 AND(NOT(AND(q,r)),p)
113 5 34 3 NOT(XOR(AND(XOR(p,q),XOR(q,r)),r))
114 4 22 2 XOR(IOR(XOR(p,q),r),q)
115 3 25 3 IOR(AND(NOT(r),p),NOT(q))
116 4 22 2 XOR(IOR(XOR(p,r),q),r)
117 3 25 3 IOR(AND(NOT(q),p),NOT(r))
118 4 27 4 IOR(AND(NOT(q),p),XOR(q,r))
119 2 13 2 NOT(AND(q,r))
120 3 15 2 XOR(AND(q,r),p)
121 5 34 4 IOR(NOT(IOR(q,r)),XOR(AND(q,r),p))
122 4 27 4 IOR(AND(NOT(q),p),XOR(p,r))
123 3 20 3 IOR(NOT(q),XOR(p,r))
124 4 27 4 IOR(AND(NOT(r),p),XOR(p,q))
125 3 20 3 IOR(NOT(r),XOR(p,q))
126 4 22 2 IOR(XOR(p,q),XOR(p,r))
127 3 20 2 NOT(AND(AND(p,q),r))
128 3 15 1 AND(AND(p,q),r)
129 4 27 3 NOT(IOR(XOR(p,q),XOR(p,r)))
130 3 20 3 AND(NOT(XOR(p,q)),r)
131 4 32 4 AND(IOR(NOT(p),r),NOT(XOR(p,q)))
132 3 20 3 AND(NOT(XOR(p,r)),q)
133 4 32 4 AND(IOR(NOT(p),q),NOT(XOR(p,r)))
134 5 29 3 AND(IOR(q,r),XOR(XOR(p,q),r))
135 3 20 3 NOT(XOR(AND(q,r),p))
136 2 8 1 AND(q,r)
137 4 32 4 AND(IOR(NOT(p),q),NOT(XOR(q,r)))
138 3 20 3 AND(IOR(NOT(p),q),r)
139 4 27 3 IOR(AND(q,r),NOT(IOR(p,q)))
140 3 20 3 AND(IOR(NOT(p),r),q)
141 4 27 3 IOR(AND(q,r),NOT(IOR(p,r)))
142 5 29 2 XOR(AND(XOR(p,q),XOR(q,r)),r)
143 3 20 3 IOR(AND(q,r),NOT(p))
144 3 20 3 AND(NOT(XOR(q,r)),p)
145 4 32 4 AND(IOR(NOT(q),p),NOT(XOR(q,r)))
146 5 29 3 AND(IOR(p,r),XOR(XOR(p,q),r))
147 3 20 3 NOT(XOR(AND(p,r),q))
148 5 29 3 AND(IOR(p,q),XOR(XOR(p,q),r))
149 3 20 3 NOT(XOR(AND(p,q),r))
150 3 15 1 XOR(XOR(p,q),r)
151 5 34 3 IOR(NOT(IOR(p,q)),XOR(XOR(p,q),r))
152 4 27 4 AND(IOR(p,q),NOT(XOR(q,r)))
153 2 13 2 NOT(XOR(q,r))
154 3 20 3 XOR(AND(NOT(q),p),r)
155 4 27 4 NOT(AND(IOR(p,q),XOR(q,r)))
156 3 20 3 XOR(AND(NOT(r),p),q)
157 4 27 4 NOT(AND(IOR(p,r),XOR(q,r)))
158 5 29 3 IOR(AND(q,r),XOR(IOR(q,r),p))
159 3 20 3 NOT(AND(XOR(q,r),p))
160 2 8 1 AND(p,r)
161 4 32 4 AND(IOR(NOT(q),p),NOT(XOR(p,r)))
162 3 20 3 AND(IOR(NOT(q),p),r)
163 4 27 3 IOR(AND(p,r),NOT(IOR(p,q)))
164 4 27 4 AND(IOR(p,q),NOT(XOR(p,r)))
165 2 13 2 NOT(XOR(p,r))
166 3 20 3 XOR(AND(NOT(p),q),r)
167 4 27 4 NOT(AND(IOR(p,q),XOR(p,r)))
168 3 15 2 AND(IOR(p,q),r)
169 3 20 3 NOT(XOR(IOR(p,q),r))
170 1 1 0 r
171 3 20 2 IOR(NOT(IOR(p,q)),r)
172 4 22 2 XOR(AND(XOR(q,r),p),q)
173 4 27 4 IOR(AND(q,r),NOT(XOR(p,r)))
174 3 20 3 IOR(AND(NOT(p),q),r)
175 2 13 2 IOR(NOT(p),r)
176 3 20 3 AND(IOR(NOT(q),r),p)
177 4 27 3 IOR(AND(p,r),NOT(IOR(q,r)))
178 5 29 2 XOR(AND(XOR(p,q),XOR(p,r)),r)
179 3 20 3 IOR(AND(p,r),NOT(q))
180 3 20 3 XOR(AND(NOT(r),q),p)
181 4 27 4 NOT(AND(IOR(q,r),XOR(p,r)))
182 5 29 3 IOR(AND(p,r),XOR(IOR(p,r),q))
183 3 20 3 NOT(AND(XOR(p,r),q))
184 4 22 2 XOR(AND(XOR(p,r),q),p)
185 4 27 4 IOR(AND(p,r),NOT(XOR(q,r)))
186 3 20 3 IOR(AND(NOT(q),p),r)
187 2 13 2 IOR(NOT(q),r)
188 4 22 3 IOR(AND(p,r),XOR(p,q))
189 4 27 3 IOR(NOT(XOR(p,r)),XOR(p,q))
190 3 15 2 IOR(XOR(p,q),r)
191 3 20 3 IOR(NOT(AND(p,q)),r)
192 2 8 1 AND(p,q)
193 4 32 4 AND(IOR(NOT(r),p),NOT(XOR(p,q)))
194 4 27 4 AND(IOR(p,r),NOT(XOR(p,q)))
195 2 13 2 NOT(XOR(p,q))
196 3 20 3 AND(IOR(NOT(r),p),q)
197 4 27 3 IOR(AND(p,q),NOT(IOR(p,r)))
198 3 20 3 XOR(AND(NOT(p),r),q)
199 4 27 4 NOT(AND(IOR(p,r),XOR(p,q)))
200 3 15 2 AND(IOR(p,r),q)
201 3 20 3 NOT(XOR(IOR(p,r),q))
202 4 22 2 XOR(AND(XOR(q,r),p),r)
203 4 27 4 IOR(AND(q,r),NOT(XOR(p,q)))
204 1 1 0 q
205 3 20 2 IOR(NOT(IOR(p,r)),q)
206 3 20 3 IOR(AND(NOT(p),r),q)
207 2 13 2 IOR(NOT(p),q)
208 3 20 3 AND(IOR(NOT(r),q),p)
209 4 27 3 IOR(AND(p,q),NOT(IOR(q,r)))
210 3 20 3 XOR(AND(NOT(q),r),p)
211 4 27 4 NOT(AND(IOR(q,r),XOR(p,q)))
212 5 29 2 XOR(AND(XOR(p,q),XOR(p,r)),q)
213 3 20 3 IOR(AND(p,q),NOT(r))
214 5 29 3 IOR(AND(p,q),XOR(IOR(p,q),r))
215 3 20 3 NOT(AND(XOR(p,q),r))
216 4 22 2 XOR(AND(XOR(p,q),r),p)
217 4 27 4 IOR(AND(p,q),NOT(XOR(q,r)))
218 4 22 3 IOR(AND(p,q),XOR(p,r))
219 4 27 3 IOR(NOT(XOR(p,q)),XOR(p,r))
220 3 20 3 IOR(AND(NOT(r),p),q)
221 2 13 2 IOR(NOT(r),q)
222 3 15 2 IOR(XOR(p,r),q)
223 3 20 3 IOR(NOT(AND(p,r)),q)
224 3 15 2 AND(IOR(q,r),p)
225 3 20 3 NOT(XOR(IOR(q,r),p))
226 4 22 2 XOR(AND(XOR(p,r),q),r)
227 4 27 4 IOR(AND(p,r),NOT(XOR(p,q)))
228 4 22 2 XOR(AND(XOR(p,q),r),q)
229 4 27 4 IOR(AND(p,q),NOT(XOR(p,r)))
230 4 22 3 IOR(AND(p,q),XOR(q,r))
231 4 27 3 IOR(NOT(XOR(p,q)),XOR(q,r))
232 5 29 2 AND(IOR(AND(p,q),r),IOR(p,q))
233 5 34 4 IOR(AND(p,q),NOT(XOR(IOR(p,q),r)))
234 3 15 2 IOR(AND(p,q),r)
235 3 20 3 IOR(NOT(XOR(p,q)),r)
236 3 15 2 IOR(AND(p,r),q)
237 3 20 3 IOR(NOT(XOR(p,r)),q)
238 2 8 1 IOR(q,r)
239 3 20 2 IOR(IOR(NOT(p),q),r)
240 1 1 0 p
241 3 20 2 IOR(NOT(IOR(q,r)),p)
242 3 20 3 IOR(AND(NOT(q),r),p)
243 2 13 2 IOR(NOT(q),p)
244 3 20 3 IOR(AND(NOT(r),q),p)
245 2 13 2 IOR(NOT(r),p)
246 3 15 2 IOR(XOR(q,r),p)
247 3 20 3 IOR(NOT(AND(q,r)),p)
248 3 15 2 IOR(AND(q,r),p)
249 3 20 3 IOR(NOT(XOR(q,r)),p)
250 2 8 1 IOR(p,r)
251 3 20 2 IOR(IOR(NOT(q),p),r)
252 2 8 1 IOR(p,q)
253 3 20 2 IOR(IOR(NOT(r),p),q)
254 3 15 1 IOR(IOR(p,q),r)
255 0 1 0 1