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


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

(¬A)→B:
AB¬A(¬A)→B
0010
0111
1001
1101

(¬A)∧C:
AC¬A(¬A)∧C
0010
0111
1000
1100

((¬A)→B)∧((¬A)∧C):
ABC¬A(¬A)→B¬A(¬A)∧C((¬A)→B)∧((¬A)∧C)
00010100
00110110
01011100
01111111
10001000
10101000
11001000
11101000

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

ABC¬A(¬A)→B(¬A)∧C(¬A→B)∧(¬A∧C)
0001000
0011010
0101100
0111111
1000100
1010100
1100100
1110100

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

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

По таблице истинности:
ABCF
0000
0010
0100
0111
1000
1010
1100
1110
Fсднф = ¬A∧B∧C
Логическая cхема:
Схема

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

По таблице истинности:
ABCF
0000
0010
0100
0111
1000
1010
1100
1110
Fскнф = (A∨B∨C) ∧ (A∨B∨¬C) ∧ (A∨¬B∨C) ∧ (¬A∨B∨C) ∧ (¬A∨B∨¬C) ∧ (¬A∨¬B∨C) ∧ (¬A∨¬B∨¬C)
Логическая cхема:
Схема