Логическая функция F задаётся выражением

Для всех строк заданной таблицы истинности значение функции F = 1, возможны следующие варианты:
1. ¬(b → a) ∧ (c → d) = 0, (a ∧ b ∧ c ∧ ¬d) = 1,
тогда a = b = c = 1, d = 0.
2 . ¬(b → a) ∧ (c → d) = 1, (a ∧ b ∧ c ∧ ¬d) = 0,
тогда ¬(b → a) = 1, (c → d) = 1, отсюда
a = 0, b = 1, с = 0, d – любое, или с = 1, d = 1.
Используя полученные значения, заполним таблицу истинности и выполним проверку:
b d c a (b → a) ¬(b → a) (c → d) ¬(b → a) ∧ (c → d) ¬d (a ∧ b ∧ c ∧ ¬d) ¬(b → a) ∧ (c → d) ≠ (a ∧ b ∧ c ∧ ¬d)
1 0 0 0 0 1 1 1 1 0 1
1 1 1 0 0 1 1 1 0 0 1
1 1 0 0 0 1 1 1 0 0 1
1 0 1 1 1 0 0 0 1 1 1
Ответ