Таблица истинности для функции ¬(X1∨(¬X2)∨X3)∨X2∧(¬X3):

Промежуточные таблицы истинности:
¬X2:

X1∨(¬X2):

(X1∨(¬X2))∨X3:

¬X3:

¬((X1∨(¬X2))∨X3):

X2∧(¬X3):

(¬((X1∨(¬X2))∨X3))∨(X2∧(¬X3)):

Общая таблица истинности:

---

Совершенная дизъюнктивная нормальная форма (СДНФ):

По таблице истинности:
F_сднф = ¬X1∧X2∧¬X3 ∨ X1∧X2∧¬X3