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