- Tautology
- Contradiction
| p | |
|---|---|
| T | F |
| F | T |
| F | F | F |
| F | T | F |
| T | F | F |
| T | T | T |
| F | F | F |
| F | T | T |
| T | F | T |
| T | T | T |
| F | F | T | F |
| F | T | T | T |
| T | F | F | F |
| T | T | F | F |
if (isDone != False && isDone != True)| F | T | F |
| T | F | F |
if (isDone != True || isDone != False)```
| $p$ | $\neg p$ | $p \lor \neg p$ |
| --- | -------- | --------------- |
| F | T | T |
| T | F | T |
```cpp
if (isDone == True || isPregnant == True)| T | T | T | F |
| T | F | T | F |
| F | T | T | F |
| F | F | F | T |
| F | F | F |
| F | T | T |
| T | F | T |
| T | T | F |