Ре­ше­ние. При­ме­ним пре­об­ра­зо­ва­ние им­пли­ка­ции:

(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.