Для заданной формулы: провести равносильные преобразования, равносильность исходной и полученной формул проверить с помощью таблицы истинности.

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

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

Условие:

Для заданной формулы:

провести равносильные преобразования,
равносильность исходной и полученной формул проверить с помощью таблицы истинности.
$(\overline{A \rightarrow B})_{\wedge}(\overline{A \rightarrow B}) \vee B \vee B$

Решение:

1. Равносильные преобразования

Исходная формула:

(\overline{A \rightarrow B}) \wedge (\overline{A \rightarrow B}) \vee B \vee B

Шаг 1: Используем закон идемпотентности ( $X \wedge X = X$ и $X \vee X = X$ ). Применим его к обеим частям выражения:

(\overline{A \rightarrow B}) \vee B

Шаг 2: Раскроем импликацию. Известно, что $A \rightarrow B \equiv \overline{A} \vee B$ . Тогда отрицание импликации:

\overline{A \rightarrow B} \equiv \overline{\overline{A} \vee B} \equiv A \wedge \overline{B}

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какой логический закон позволяет упростить выражение $(\overline{A \rightarrow B}) \wedge (\overline{A \rightarrow B}) \vee B \vee B$ до $(\overline{A \rightarrow B}) \vee B$ на первом шаге преобразований?

Закон де Моргана

Закон идемпотентности

Закон дистрибутивности