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


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

¬Y:
Y¬Y
01
10

X|(¬Y):
XY¬YX|(¬Y)
0011
0101
1010
1101

(Z→X)⊕(X|(¬Y)):
ZXYZ→X¬YX|(¬Y)(Z→X)⊕(X|(¬Y))
0001110
0011010
0101101
0111010
1000111
1010011
1101101
1111010

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

ZXYZ→X¬YX|(¬Y)(Z→X)⊕(X|¬Y)
0001110
0011010
0101101
0111010
1000111
1010011
1101101
1111010

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

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

По таблице истинности:
ZXYF
0000
0010
0101
0110
1001
1011
1101
1110
Fсднф = ¬Z∧X∧¬Y ∨ Z∧¬X∧¬Y ∨ Z∧¬X∧Y ∨ Z∧X∧¬Y
Логическая cхема:

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

По таблице истинности:
ZXYF
0000
0010
0101
0110
1001
1011
1101
1110
Fскнф = (Z∨X∨Y) ∧ (Z∨X∨¬Y) ∧ (Z∨¬X∨¬Y) ∧ (¬Z∨¬X∨¬Y)
Логическая cхема:

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

Рейтинг@Mail.ru

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