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

X1∧X2:

(X1∧X2)∧(¬X3):

¬X1:

(¬X1)∧X2:

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

X2∧(¬X3):

¬X2:

X1∧(¬X2):

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

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

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

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

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

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

Логическая схема:

---

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

По таблице истинности:
F_сднф = ¬X1∧X2∧¬X3 ∨ ¬X1∧X2∧X3 ∨ X1∧¬X2∧¬X3 ∨ X1∧X2∧¬X3
Логическая cхема:

---

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

По таблице истинности:
F_скнф = (X1∨X2∨X3) ∧ (X1∨X2∨¬X3) ∧ (¬X1∨X2∨¬X3) ∧ (¬X1∨¬X2∨¬X3)
Логическая cхема: