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