Представить формулу в СДНФ и СКНФ с помощью: ) равносильных преобразований; б) таблицы истинности:

Чтобы представить формулу в СДНФ (Сумма Дизъюнктов Нормальной Формы) и СКНФ (Произведение Конъюнктов Нормальной Формы), начнем с анализа данной формулы:

Шаг 1: Преобразование формулы

1. Преобразуем импликацию:

   $$x_{2} \Rightarrow x_{3} \equiv \overline{x_{2}} \vee x_{3}$$
   Тогда:
   $$\overline{x_{2} \Rightarrow x_{3}} \equiv \overline{\overline{x_{2}} \vee x_{3}} \equiv x_{2} \wedge \overline{x_{3}}$$

2. Подставим это в формулу:

   $$x_{1} \vee (x_{2} \wedge \overline{x_{3}}) \wedge x_{2} \Leftrightarrow \bar{x}_{3}$$

3. Упростим формулу:

   $$x_{1} \vee (x_{2} \wedge \overline{x_{3}}) \wedge x_{2} \equiv x_{1} \vee (x_{2} \wedge \overline{x_{3}})$$
   ...