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


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

(¬A)∧B:
AB¬A(¬A)∧B
0010
0111
1000
1100

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

AB¬A¬A∧B
0010
0111
1000
1100

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

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

По таблице истинности:
ABF
000
011
100
110
Fсднф = ¬A∧B
Логическая cхема:

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

По таблице истинности:
ABF
000
011
100
110
Fскнф = (A∨B) ∧ (¬A∨B) ∧ (¬A∨¬B)
Логическая cхема:

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

Рейтинг@Mail.ru

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