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