Сначала составим таблицу истинности для выражения Y ∨ ¬Z.
| Y | Z | ¬Z | Y ∨ ¬Z |
|---|---|----|--------|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
Теперь составим таблицу истинности для выражения X ∧ (Y ∨ ¬Z).
| X | Y | Z | ¬Z | Y ∨ ¬Z | X ∧ (Y ∨ ¬Z) |
|---|---|---|----|--------|-------------|
| 0 | 0 | 0 | 1 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 1 | 1 |
Ответ:
| X | Y | Z | X ∧ (Y ∨ ¬Z) |
|---|---|---|-------------|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |