| P | Q | ¬ ( | P | ∧ | ¬ | Q) |
|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 0 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 | 0 | 1 | 0 |
| (5) | (1) | (4) | (3) | (2) | ||
| Are we going to talk about NAND now? |
wtf
| P | Q | ¬ ( | P | ∧ | ¬ | Q) |
|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 0 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 | 0 | 1 | 0 |
| (5) | (1) | (4) | (3) | (2) | ||
| Are we going to talk about NAND now? |
wtf