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

¬X1:

¬X2:

X1∧X2:

(X1∧X2)∧(¬X3):

(¬X1)∧X2:

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

X2∧(¬X3):

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)):

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

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

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

---

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

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

---

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

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