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