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


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

A∧C:
ACA∧C
000
010
100
111

¬(B∧C):
BCB∧C¬(B∧C)
0001
0101
1001
1110

(¬(B∧C))∨(A∧C):
BCAB∧C¬(B∧C)A∧C(¬(B∧C))∨(A∧C)
0000101
0010101
0100101
0110111
1000101
1010101
1101000
1111011

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

BCAB∧CA∧C¬(B∧C)¬(B∧C)∨(A∧C)
0000011
0010011
0100011
0110111
1000011
1010011
1101000
1111101

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

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

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

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

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

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

Рейтинг@Mail.ru

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