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