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