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