Алгебра логики. Задача 4-47

Укажите значения переменных K, L, M и N, которые удовлетворяют логическому уравнению:

(K → M) ∨ (N ∨ ¬L) = 0

Ответ запишите в виде строки их четырех символов - значений переменных K, L, M, N (в указанном порядке). Так, например, строка 1101 соответствует тому, что K = 1, L = 1, M = 0, N = 1

Ответ
1100
Решение

Преобразовываем: \( (K → M)  +  (N + \overline{L})  = 0  \)  ⇒ \(  \overline{K} + M  + N + \overline{L}  = 0 \) 

Все члены дизъюнкции должны быть равны 0:

\( \begin{cases} \overline{K} = 0 \\ M = 0 \\ N = 0 \\ \overline{L} = 0  \end{cases} \) 

Получаем K = 1, M = 0, N = 0, L =1. 

Ответ: 1100