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


Промежуточные таблицы истинности:
A∧B:
ABA∧B
000
010
100
111

(A∧B)|C:
ABCA∧B(A∧B)|C
00001
00101
01001
01101
10001
10101
11011
11110

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

ABCA∧B(A∧B)|C
00001
00101
01001
01101
10001
10101
11011
11110

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

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

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

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

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

Околостуденческое

Рейтинг@Mail.ru

© 2009-2021, Список Литературы