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


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

¬B:
B¬B
01
10

¬C:
C¬C
01
10

(¬B)∧(¬C):
BC¬B¬C(¬B)∧(¬C)
00111
01100
10010
11000

(B∧C)∨((¬B)∧(¬C)):
BCB∧C¬B¬C(¬B)∧(¬C)(B∧C)∨((¬B)∧(¬C))
0001111
0101000
1000100
1110001

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

BCB∧C¬B¬C(¬B)∧(¬C)(B∧C)∨((¬B)∧(¬C))
0001111
0101000
1000100
1110001

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

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

По таблице истинности:
BCF
001
010
100
111
Fсднф = ¬B∧¬C ∨ B∧C
Логическая cхема:

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

Рейтинг@Mail.ru

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