| X | Y | Z | ¬Z | Y v ¬Z | X ∧ (Y v ¬Z) |
| 0 | 0 | 0 | 1 | 0 v 1 = 1 | 0 ∧ 1 = 0 |
| 0 | 0 | 1 | 0 | 0 v 0 = 0 | 0 ∧ 0 = 0 |
| 0 | 1 | 0 | 1 | 1 v 1 = 1 | 0 ∧ 1 = 0 |
| 0 | 1 | 1 | 0 | 1 v 0 = 1 | 0 ∧ 1 = 0 |
| 1 | 0 | 0 | 1 | 0 v 1 = 1 | 1 ∧ 1 = 1 |
| 1 | 0 | 1 | 0 | 0 v 0 = 0 | 1 ∧ 0 = 0 |
| 1 | 1 | 0 | 1 | 1 v 1 = 1 | 1 ∧ 1 = 1 |
| 1 | 1 | 1 | 0 | 1 v 0 = 1 | 1 ∧ 1 = 1 |