or ,
Id | If | Then |
---|---|---|
19 | ( ∧ ) | |
42 | ||
43 | ( ∧ ) | |
49 | ||
70 | ||
98 | ||
99 | ( ∧ ) | |
100 | ||
101 | ( ∧ ) | |
104 | ||
105 | ( ∧ ) | |
109 | ( ∧ ) | ¬ |
118 | ||
119 | ||
152 | ||
153 | ( ∧ ) | |
195 | ||
197 | ( ∧ ) | |
226 | ||
261 | ( ∧ ) | |
267 | ( ∧ ) | |
280 | ( ∧ ) | |
287 | ||
288 | ( ∧ ) | |
292 | ( ∧ ∧ ) | |
305 | ( ∧ ) | |
308 | ( ∧ ∧ ) | ¬ |
311 | ||
318 | ( ∧ ) | |
319 | ( ∧¬ ∧ ) | |
322 | ( ∧ ∧ ) | |
363 | ( ∧ ) | |
374 | ( ∧ ∧ ) | |
381 | ( ∧ ) | |
397 | ( ∧ ∧ ) | |
399 | ( ∧ ∧ ) | |
402 | ( ∧ ) | |
415 | ( ∧ ) | |
419 | ||
421 | ( ∧ ) | |
426 | ( ∧ ) |