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