or
Id | If | Then |
---|---|---|
27 | ( ∧ ) | |
28 | ( ∧ ∧ ) | |
37 | ( ∧ ) | |
41 | ¬ | |
42 | ||
43 | ( ∧ ) | |
66 | ||
70 | ||
81 | ( ∧ ∧ ) | ¬ |
98 | ||
100 | ||
104 | ||
113 | ||
127 | ( ∧ ∧ ∧ ) | |
143 | ||
152 | ||
169 | ||
171 | ( ∧¬ ) | ¬ |
176 | ||
194 | ||
204 | ||
208 | ( ∧ ) | ¬ |
230 | ( ∧ ) | |
269 | ( ∧ ∧ ) | |
280 | ( ∧ ) | |
308 | ( ∧ ∧ ) | ¬ |
312 | ( ∧ ) | |
328 | ||
330 | ||
333 | ||
348 | ( ∧¬ ) | |
349 | ( ∧¬ ) | |
423 | ( ∧ ) | |
426 | ( ∧ ) |