Укажите значения переменных K, L, M, N, при которых логическое выражение
(¬K ∨ M) → (¬L ∨ M ∨ N)
ложно. Ответ запишите в виде строки из четырех символов: значений переменных K, L, M и N (в указанном порядке). Так, например, строка 1101 соответствует тому, что K=1, L=1, M=0, N=1.
Применим преобразование импликации:
(K ∧ ¬M) ∨ (¬L ∨ M ∨ N) = 0
Применим отрицание к обоим частям уравнения:
(¬K ∨ M) ∧ L ∧ ¬M ∧ ¬N = 1
Преобразуем:
(¬K ∧ L ∨ M ∧ L) ∧ ¬M ∧ ¬N = 1
Логическое "И" истинно тогда и только тогда, когда истинны оба утверждения.
Следовательно, M = 0, N = 0, рассмотрим теперь (¬K ∧ L ∨ M ∧ L):
из того, что M = 0, N = 0 следует, что M ∧ L = 0, тогда ¬K ∧ L = 1, то есть K = 0, L = 1.