Таблица истинности для функции (X→Y)⊕(Y⊕Z):


Промежуточные таблицы истинности:
X→Y:
XYX→Y
001
011
100
111

Y⊕Z:
YZY⊕Z
000
011
101
110

(X→Y)⊕(Y⊕Z):
XYZX→YY⊕Z(X→Y)⊕(Y⊕Z)
000101
001110
010110
011101
100000
101011
110110
111101

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

XYZX→YY⊕Z(X→Y)⊕(Y⊕Z)
000101
001110
010110
011101
100000
101011
110110
111101

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

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

По таблице истинности:
XYZF
0001
0010
0100
0111
1000
1011
1100
1111
Fсднф = ¬X∧¬Y∧¬Z ∨ ¬X∧Y∧Z ∨ X∧¬Y∧Z ∨ X∧Y∧Z
Логическая cхема:

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

По таблице истинности:
XYZF
0001
0010
0100
0111
1000
1011
1100
1111
Fскнф = (X∨Y∨¬Z) ∧ (X∨¬Y∨Z) ∧ (¬X∨Y∨Z) ∧ (¬X∨¬Y∨Z)
Логическая cхема:

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

Рейтинг@Mail.ru

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