Контрольные задания > 3) Докажите логическое выражение ¬¬((a ∧ ¬(¬b ∨ ¬c) → (¬a ∨ ¬b ∨ ¬c)) → ¬a).
Вопрос:

3) Докажите логическое выражение ¬¬((a ∧ ¬(¬b ∨ ¬c) → (¬a ∨ ¬b ∨ ¬c)) → ¬a).

Ответ:

Используем двойное отрицание и правила логики для упрощения выражения.

Похожие