12. Определите внешний вид формулы после того как ее упростили, убрав все импликации: (¬(K ∨ C) → A) → K A) ¬(¬(K ∨ C) ∨ A) ∨ K Б) ¬(¬(K ∨ C) ∧ A) ∧ K B) ¬((K ∨ C) ∨ A) ∨ K Г) ¬((K ∨ C) ∧ A) ∧ K

Решение:

Чтобы упростить формулу и убрать импликации, воспользуемся правилом: P → Q ≡ ¬P ∨ Q.

1. Первая импликация:

   \[ (
   eg (K \lor C) \rightarrow A) \rightarrow K \]

   Применяем правило к внешней импликации:

   \[
   eg (
   eg (K \lor C) \rightarrow A) \lor K \]

   Теперь применим правило к внутренней импликации ¬(K ∨ C) → A:

   \[
   eg (
   eg (
   eg (K \lor C)) \lor A) \lor K \]

   Убираем двойное отрицание ¬¬P ≡ P:

   \[
   eg ((K \lor C) \lor A) \lor K \]

2. Сравнение с вариантами ответов:

   Полученная формула: ¬((K ∨ C) ∨ A) ∨ K.

   Сравниваем с предложенными вариантами:

   • A) ¬(¬(K ∨ C) ∨ A) ∨ K
   • Б) ¬(¬(K ∨ C) ∧ A) ∧ K
   • B) ¬((K ∨ C) ∨ A) ∨ K
   • Г) ¬((K ∨ C) ∧ A) ∧ K

   Наш результат точно совпадает с вариантом B.

Ответ: B) ¬((K ∨ C) ∨ A) ∨ K