Нам нужно заполнить таблицу истинности для выражения \( (B ∨ ¬ B) ∨ A \).
Сначала разберем часть \( B ∨ ¬ B \). Это правило исключённого третьего. Выражение \( B ∨ ¬ B \) всегда истинно (равно 1), независимо от значения \( B \).
Теперь рассмотрим всё выражение: \( (1) ∨ A \).
Так как первый операнд всегда равен 1, результат всего выражения \( 1 ∨ A \) будет всегда равен 1 (Истина), независимо от значения \( A \).
Заполним таблицу:
| A | B | ¬B | B ∨ ¬B | (B ∨ ¬B) ∨ A |
| 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 |
Ответ:
| A | B | (Bv-B) v A |
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |