Таблица истинности для функции Y≡((A∨B∨C)∧(C∨D)∨(C∨¬A)∧B):

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

(A∨B)∨C:

C∨D:

¬A:

C∨(¬A):

((A∨B)∨C)∧(C∨D):

(C∨(¬A))∧B:

(((A∨B)∨C)∧(C∨D))∨((C∨(¬A))∧B):

Y≡((((A∨B)∨C)∧(C∨D))∨((C∨(¬A))∧B)):

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

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

---

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

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