Следующие формулы преобразуйте равносильным образом так, чтобы они содержали только операции : 1)

1. Импликация $x \rightarrow y$ эквивалентна $\bar{x} \vee y$.
2. Отрицание $\bar{x}$ обозначает "не x".
3. Конъюнкция $x \wedge y$ и дизъюнкция $x \vee y$ остаются без изменений.

Теперь преобразуем каждую формулу.

1. Формула: $((x \rightarrow y) \wedge (y \rightarrow x)) \rightarrow (x \vee y)$

Сначала заменим импликации:

• $x \rightarrow y$ заменяем на $\bar{x} \vee y$
• $y \rightarrow x$ заменяем на $\bar{y} \vee x$

Теперь формула выглядит так: $((\bar{x} \vee y) \wedge (\bar{y} \vee x)) \rightarrow (x \vee y)$

Теперь заменим импликацию: $A \rightarrow B$...