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


Промежуточные таблицы истинности:
X|Z:
XZX|Z
001
011
101
110

(X|Z)∨Y:
XZYX|Z(X|Z)∨Y
00011
00111
01011
01111
10011
10111
11000
11101

X⊕Z:
XZX⊕Z
000
011
101
110

¬Y:
Y¬Y
01
10

(¬Y)∨(X⊕Z):
YXZ¬YX⊕Z(¬Y)∨(X⊕Z)
000101
001111
010111
011101
100000
101011
110011
111000

¬((X|Z)∨Y):
XZYX|Z(X|Z)∨Y¬((X|Z)∨Y)
000110
001110
010110
011110
100110
101110
110001
111010

(¬((X|Z)∨Y))∧((¬Y)∨(X⊕Z)):
XZYX|Z(X|Z)∨Y¬((X|Z)∨Y)¬YX⊕Z(¬Y)∨(X⊕Z)(¬((X|Z)∨Y))∧((¬Y)∨(X⊕Z))
0001101010
0011100000
0101101110
0111100110
1001101110
1011100110
1100011011
1110100000

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

XZYX|Z(X|Z)∨YX⊕Z¬Y(¬Y)∨(X⊕Z)¬((X|Z)∨Y)¬(X|Z∨Y)∧(¬Y∨(X⊕Z))
0001101100
0011100000
0101111100
0111110100
1001111100
1011110100
1100001111
1110100000

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

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

По таблице истинности:
XZYF
0000
0010
0100
0110
1000
1010
1101
1110
Fсднф = X∧Z∧¬Y
Логическая cхема:

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

Рейтинг@Mail.ru

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