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


Промежуточные таблицы истинности:
¬B:
B¬B
01
10

A∨(¬B):
AB¬BA∨(¬B)
0011
0100
1011
1101

¬A:
A¬A
01
10

C∧(¬A):
CA¬AC∧(¬A)
0010
0100
1011
1100

(C∧(¬A))∨(A∨(¬B)):
CAB¬AC∧(¬A)¬BA∨(¬B)(C∧(¬A))∨(A∨(¬B))
00010111
00110000
01000111
01100011
10011111
10111001
11000111
11100011

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

CAB¬BA∨(¬B)¬AC∧(¬A)C∧¬A∨(A∨¬B)
00011101
00100100
01011001
01101001
10011111
10100111
11011001
11101001

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

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

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

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

По таблице истинности:
CABF
0001
0010
0101
0111
1001
1011
1101
1111
Fскнф = (C∨A∨¬B)
Логическая cхема: