Для функции X∧Y∧X∧Y:


Промежуточные таблицы истинности:
X∧Y:
XYX∧Y
000
010
100
111

(X∧Y)∧X:
XYX∧Y(X∧Y)∧X
0000
0100
1000
1111

((X∧Y)∧X)∧Y:
XYX∧Y(X∧Y)∧X((X∧Y)∧X)∧Y
00000
01000
10000
11111

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

XYX∧Y(X∧Y)∧XX∧Y∧X∧Y
00000
01000
10000
11111


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

По таблице истинности:
XYF
000
010
100
111
Fсднф = X∧Y

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

По таблице истинности:
XYF
000
010
100
111
Fскнф = (X∨Y) ∧ (X∨¬Y) ∧ (¬X∨Y)

Это интересно...

Наши контакты

Рейтинг@Mail.ru

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