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

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

Ответ:

Рассмотрим импликации и упростим выражение с использованием законов логики.

Похожие