С помощью равносильных преобразований приведите следующие формулы к наиболее простому виду: ) б) ; ) ; г)

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

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

С помощью равносильных преобразований приведите следующие формулы к наиболее простому виду: ) б) ; ) ; г)

Условие:

С помощью равносильных преобразований приведите следующие формулы к наиболее простому виду:\na) $p \bar{q} \vee p \bar{r} \vee q r \vee q \vee r ; \quad$ б) $(p \Rightarrow \bar{q}) \vee \overline{p \vee q}$ ;\nB) $(p \Rightarrow q)(q \Rightarrow \bar{p})$ ; г) $\overline{\bar{p} \bar{q}} \vee(p \Rightarrow q) p$

Решение:

Для упрощения данных формул будем использовать логические тождества и равносильные преобразования. \na) $p \bar{q} \vee p \bar{r} \vee q r \vee q \vee r$

Объединим термины с $p$ : $p (\bar{q} \vee \bar{r}) \vee q r \vee q \vee r$
Заметим, что $q \vee r$ уже присутствует в формуле, поэтому можем упростить: $p (\bar{q} \vee \bar{r}) \vee q \vee r$
Теперь заметим, что $\bar{q} \vee \bar{r}$ можно оставить, так как оно не влияет на результат: $p (\bar{q} \vee \bar{r}) \vee q \vee r$ ...

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

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

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

Какое логическое тождество или закон чаще всего используется для преобразования импликации (A ⇒ B) в выражение, содержащее только дизъюнкцию и отрицание?

Закон поглощения

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

Определение импликации через дизъюнкцию и отрицание