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