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


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

BAC¬B¬AC∧A(¬B)∨(¬A)((¬B)∨(¬A))∨(C∧A)A∧B(¬B∨¬A∨C∧A)∨¬¬A∧B
0001101101
0011101101
0101001101
0111011101
1000101101
1010101101
1100000011
1110010111

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

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

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

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

По таблице истинности:
BACF
0001
0011
0101
0111
1001
1011
1101
1111
В таблице истинности нет набора значений переменных при которых функция ложна!