Таблица истинности показывает все возможные комбинации значений (истина/ложь, 1/0) для входных переменных и соответствующее значение выходного выражения.
Чтобы заполнить таблицу истинности, нам нужно вычислить значение выражения ¬A ∨ A ∧ ¬B для всех возможных комбинаций A и B.
Нам понадобятся столбцы для ¬A, ¬B, A ∧ ¬B и, наконец, для всего выражения ¬A ∨ A ∧ ¬B.
| A | B | ¬A | ¬B | A ∧ ¬B | ¬A ∨ (A ∧ ¬B) |
| 0 | 0 | 1 | 1 | 0 ∧ 1 = 0 | 1 ∨ 0 = 1 |
| 0 | 1 | 1 | 0 | 0 ∧ 0 = 0 | 1 ∨ 0 = 1 |
| 1 | 0 | 0 | 1 | 1 ∧ 1 = 1 | 0 ∨ 1 = 1 |
| 1 | 1 | 0 | 0 | 1 ∧ 0 = 0 | 0 ∨ 0 = 0 |
Примечание: В данном решении использованы следующие логические операции:
¬ (отрицание): Если A = 0, то ¬A = 1. Если A = 1, то ¬A = 0.
∧ (конъюнкция/И): Результат 1 только если оба операнда равны 1.
∨ (дизъюнкция/ИЛИ): Результат 1 если хотя бы один операнд равен 1.
Итоговая таблица истинности:
| A | B | ¬A ∨ A ∧ ¬B |
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |