Question

Упростить формулу (выполнить тождественные преобразования) и выполнить
проверку:
¬ ((А ˄ B) → ¬ (C˅ A))
Даю 80 баллов, срочно.

Answer 1

Ответ:

это выражение упрощается просто до: А

Объяснение:

¬ ((А /\ B) → ¬ (C \/ A))

¬ ((¬А \/ ¬B) \/ ¬ (C \/ A))

¬ (¬А \/ ¬B \/ ¬C /\ ¬A)

А /\ B /\ C \/ A

А /\ B /\ C \/ A

Анализ: если А истинно, то и всё выражение истинно

Но если А ложно, всё выражение тоже ложно.

A