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


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

CAB¬A(¬A)∧BC∨¬A∧B
000100
001111
010000
011000
100101
101111
110001
111001

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

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

По таблице истинности:
CABF
0000
0011
0100
0110
1001
1011
1101
1111
Fсднф = ¬C∧¬A∧B ∨ C∧¬A∧¬B ∨ C∧¬A∧B ∨ C∧A∧¬B ∨ C∧A∧B
Логическая cхема:
Схема

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

По таблице истинности:
CABF
0000
0011
0100
0110
1001
1011
1101
1111
Fскнф = (C∨A∨B) ∧ (C∨¬A∨B) ∧ (C∨¬A∨¬B)
Логическая cхема:
Схема