Промежуточные таблицы истинности:
A∨B:

¬A:

(¬A)∧X:

B∧X:

((¬A)∧X)∨(B∧X):

¬(((¬A)∧X)∨(B∧X)):

(A∨B)∧(¬(((¬A)∧X)∨(B∧X))):

X∧Y:

((A∨B)∧(¬(((¬A)∧X)∨(B∧X))))∨(X∧Y):

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

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

---

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

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

---

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

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