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