Условие задачи
Логическая функция F задаётся выражением
((x → y) ∨ ¬(z → w)) ∧ ((w → ¬x) ∨ (¬y → z)).
На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.
Ответ
Для всех строк заданной таблицы истинности значение функции F = 0. Используя определение конъюнкции , получаем следующие варианты:
1. ((x y) (z w)) = 0 и ((w x) (y z)) = 0, тогда
(x y) = 0, (z w) = 0, (w x) = 0, (y z) = 0, отсюда
x = 1, y = 0, w = 1, z = 0;
2. ((x y) (z w)) = 0 и ((w x) (y z)) = 1, тогда
(x y) ...
Потяни
