построить СДНФ и СКНФ ((x1↓x2) => (x2_bar + x3) ^ x1) => x2_bar

Для решения задачи построим таблицу истинности для функции $f(x_1, x_2, x_3) = ((x_1 \downarrow x_2) \Rightarrow ((\bar{x}_2 \lor x_3) \land x_1)) \Rightarrow \bar{x}_2$. Напомним, что $x_1 \downarrow x_2 = \overline{x_1 \lor x_2}$. | $x_1$ | $x_2$ | $x_3$ | $\bar{x}_2$ | $x_1 \lor x_2$ | $x_1 \downarrow x_2$ | $\bar{x}_2 \lor x_3$ | $(\bar{x}_2 \lor x_3) \land x_1$ | $(x_1 \downarrow x_2) \Rightarrow ((\bar{x}_2 \lor x_3) \land x_1)$ | $f$ | | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | **СДНФ (Совершенная дизъюнктивная нормальная форма)** составляется по строкам, где $f=1$: $f = (\bar{x}_1 \land \bar{x}_2 \land \bar{x}_3) \lor (\bar{x}_1 \land \bar{x}_2 \land x_3) \lor (x_1 \land \bar{x}_2 \land \bar{x}_3) \lor (x_1 \land \bar{x}_2 \land x_3)$ **СКНФ (Совершенная конъюнктивная нормальная форма)** составляется по строкам, где $f=0$: $f = (x_1 \lor \bar{x}_2 \lor x_3) \land (x_1 \lor \bar{x}_2 \lor \bar{x}_3) \land (\bar{x}_1 \lor \bar{x}_2 \lor x_3) \land (\bar{x}_1 \lor \bar{x}_2 \lor \bar{x}_3)$