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