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