Упростите формулы логики высказываний: ) ; б) .

Добавлена: 12.05.2026
Обновлена: 12.05.2026
Предмет: Логика
Автор: Кэмп

#Основы формальной логики
#Символическая логика

Упростите формулы логики высказываний: ) ; б) .

Условие:

Упростите формулы логики высказываний:\na) $A \rightarrow(B \rightarrow C) \rightarrow((A \wedge B) \rightarrow C)$ ; б) $\overline{A \rightarrow B \rightarrow(((A \wedge C) \rightarrow(B \wedge C))}$ .

Решение:

Для упрощения формул логики высказываний воспользуемся логическими тождествами и правилами преобразования. \na) Упростим формулу $A \rightarrow (B \rightarrow C) \rightarrow ((A \wedge B) \rightarrow C)$ .

Начнем с преобразования импликаций. Импликация $X \rightarrow Y$ эквивалентна $\overline{X} \vee Y$ .
Применим это к первой части: $A \rightarrow (B \rightarrow C)$ эквивалентно $\overline{A} \vee (B \rightarrow C)$ .
Далее, $B \rightarrow C$ эквивалентно $\overline{B} \vee C$ .
Таким образом, $A \rightarrow (B \rightarrow C)$ становится $\overline{A} \vee (\overline{B} \vee C)$ ...