Заполните таблицу истинности выражения: ¬(A ∨ B).
| A | B | ||
| 0 | 0 | ||
| 0 | 1 | ||
| 1 | 0 | ||
| 1 | 1 |
Указание.
В работе используются следующие соглашения.
Обозначения для логических операций:
а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
б) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В);
в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В).
Для заполнения таблицы истинности разобьем выражение ¬(A ∨ B) на две функции (операции), в соответствии с их приоритетом:
1) A ∨ B — логическая операция ИЛИ (дизъюнкция), данная логическая операция является бинарный (содержит два операнда). Данная операция ложна только тогда, когда ложны два выражения. Заполним столбец для всех значений.
1) ¬(A ∨ B) — логическая операция НЕ (отрицание), данная логическая операция является унарной (содержит один операнд). Если в столбце A ∨ B значение равно 0, то выполняя операцию ¬(A ∨ B), в соответствующем столбце будет противоположное значение, то есть 1. Заполним столбец для остальных значений.
В итоге таблица истинности будет иметь следующий вид:
| A | B | A ∨ B | ¬(A ∨ B) |
| 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 |