Логическая функция F задаётся выражением (¬x ∨ ¬z) → (x ≡ y)

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