Ис­поль­зу­ем фор­му­лу A → B = ¬A ∨ B

Рас­смот­рим первую под­фор­му­лу:

¬((¬J ∨ K) → (M ∧ N ∧ L)) = ¬(¬(¬J ∨ K) ∨ (M ∧ N ∧ L)) = ¬((J ∧ ¬K) ∨ (M ∧ N ∧ L)) =

Учи­ты­вая, что ¬(А ∨ В) = ¬А ∧ ¬В,

= (¬J ∨ K) ∧ (¬M ∨ ¬N ∨ ¬L)

Рас­смот­рим вто­рую под­фор­му­лу

¬((L ∧ M ∧ N) → (¬J ∨ K)) = ¬(¬(L ∧ M ∧ N) ∨ (¬J ∨ K)) = L ∧ M ∧ N ∧ J ∧ ¬K

При­ме­ним от­ри­ца­ние к левой и пра­вой части урав­не­ния, по­лу­чит­ся

[(J ∧ ¬K) ∨ (M ∧ N ∧ L)] ∧ [¬L ∨ ¬M ∨ ¬N ∨ ¬J ∨ K] ∧ [¬M ∨ ¬J] = 1

1)  (¬M ∨ ¬J) = 1, сле­до­ва­тель­но,

а)  M = 0 J = 0

0 ∧ ¬K ∧ ¬L ∨ ¬N ∨ K, сле­до­ва­тель­но, 0 ре­ше­ний.

б) M = 1 J = 0

[(0 ∧ ¬K) ∨ (1 ∧ N ∧ L)] ∧ [¬L ∨ 0 ∨ ¬N ∨ 1 ∨ K] ∧ [¬M ∨ 1] = N ∧ L ∧ ¬L ∨ ¬N ∨ 1 ∨ K = 1 => L=N=1, сле­до­ва­тель­но, 2 ре­ше­ния.

в) M = 0 J = 1

[(1 ∧ ¬K) ∨ (0 ∧ N ∧ L)] ∧ [¬L ∨ ¬0 ∨ ¬N ∨ ¬1∨ K] ∧ [¬0 ∨ ¬1] = 1, сле­до­ва­тель­но, 4 ре­ше­ния.

Ответ: 2 + 4 = 6.