Заполним таблицу истинности для выражения $$X \land (
eg Y \lor Z)$$.
| X | Y | Z | ¬Y | ¬Y ∨ Z | X ∧ (¬Y ∨ Z) |
|---|---|---|----|--------|--------------|
| 0 | 0 | 0 | 1 | 1 | 0 |
| 0 | 0 | 1 | 1 | 1 | 0 |
| 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 1 | 0 | 1 | 1 |