Сколько различных решений имеет уравнение: ¬((J → K) → (L ∧ M ∧ N)) ∨

Решение по шагам

1. 1

   Как рассуждать

   Решение. Используем формулу 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