При решении задач используем определения логических операций
.pdf
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
При решении задач используем определения логических операций:
∨ - дизъюнкция, результат равен 0, если все операнды равны 0, во всех остальных случаях результат равен 1.
∧ - конъюнкция, результат равен 1, если все операнды равны 1, во всех остальных случаях результат равен 0.
→ - импликация (x → y) как булева функция ложна лишь тогда, когда посылка истинна (x = 1), а следствие ложно (y = 0).
≡ эквиваленция (x ≡ y) - логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность (x = 0, y = 0, либо x = 1, y = 1).
¬ инверсия (отрицание), результатом противоположный исходному значению.
Таблица истинности логических операций:
x y x ∨ y x ∧ y x → y x ≡ y ¬x
0 0 0 0 1 1 1
0 1 1 0 1 0 1
1 0 1 0 0 0 0
1 1 1 1 1 1 0
Логическая функция F задаётся выражением (x ∧ y) ∨ (¬x ∧ ¬z).На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z.
Решение
Для всех строк заданной таблицы истинности значение функции F = 1.
Из определения дизъюнкции ∨ возможны три варианта:
1. (x ∧ y) = 1, (¬x ∧ ¬z) = 1, тогда x = 1, y = 1, ¬x = ¬1 = 0, ¬z – любое,
но (¬x ∧ ¬z) = (0 ∧ ¬z) = 0 ≠ 1 – противоречие, этот вариант отбросим;
2
. (x ∧ y) = 0, (¬x ∧ ¬z) = 1, тогда ¬x = ¬z = 1, отсюда x = z = 0 – эти значения есть во втором и третьем столбцах таблицы истинности;
3