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


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

DCAB¬A(¬A)∧BD∨CD∨C∨¬A∧B
00001000
00011101
00100000
00110000
01001011
01011111
01100011
01110011
10001011
10011111
10100011
10110011
11001011
11011111
11100011
11110011

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

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

По таблице истинности:
DCABF
00000
00011
00100
00110
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11101
11111
Fсднф = ¬D∧¬C∧¬A∧B ∨ ¬D∧C∧¬A∧¬B ∨ ¬D∧C∧¬A∧B ∨ ¬D∧C∧A∧¬B ∨ ¬D∧C∧A∧B ∨ D∧¬C∧¬A∧¬B ∨ D∧¬C∧¬A∧B ∨ D∧¬C∧A∧¬B ∨ D∧¬C∧A∧B ∨ D∧C∧¬A∧¬B ∨ D∧C∧¬A∧B ∨ D∧C∧A∧¬B ∨ D∧C∧A∧B
Логическая cхема:

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

По таблице истинности:
DCABF
00000
00011
00100
00110
01001
01011
01101
01111
10001
10011
10101
10111
11001
11011
11101
11111
Fскнф = (D∨C∨A∨B) ∧ (D∨C∨¬A∨B) ∧ (D∨C∨¬A∨¬B)
Логическая cхема: