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