Сначала определим порядок действий в логическом выражении ¬A ∨ B ∧ (¬B ∨ A) ∧ ¬B. Порядок выполнения логических операций следующий:
Применение к выражению:
Для заполнения таблицы истинности разложим выражение на составляющие:
Теперь построим таблицу истинности:
| A | B | ¬A | ¬B | ¬B ∨ A | B ∧ (¬B ∨ A) | ¬A ∨ (B ∧ (¬B ∨ A)) | (¬A ∨ (B ∧ (¬B ∨ A))) ∧ ¬B |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
| 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 |