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

Question

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

Answer 1

A → b ⇔ ¬a∨b

Делаем упрощение. 

(¬К∨M)∧(¬K∨¬M)∧((K∨(M∧¬L∧N)) 

Ответ: 0011