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