Условие:
Логическая функция F задаётся выражением
¬(b → a) ∧ (c → d) ≠ (a ∧ b ∧ c ∧ ¬d).
На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c, d.
Решение:
Для всех строк заданной таблицы истинности значение функции 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...