Для функции (¬X∨¬Y)∨Z⊕P≡X∧Y←Z∧Y∧P∨Z:


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

¬Y:
Y¬Y
01
10

(¬X)∨(¬Y):
XY¬X¬Y(¬X)∨(¬Y)
00111
01101
10011
11000

X∧Y:
XYX∧Y
000
010
100
111

Z∧Y:
ZYZ∧Y
000
010
100
111

(Z∧Y)∧P:
ZYPZ∧Y(Z∧Y)∧P
00000
00100
01000
01100
10000
10100
11010
11111

((¬X)∨(¬Y))∨Z:
XYZ¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z
0001111
0011111
0101011
0111011
1000111
1010111
1100000
1110001

((Z∧Y)∧P)∨Z:
ZYPZ∧Y(Z∧Y)∧P((Z∧Y)∧P)∨Z
000000
001000
010000
011000
100001
101001
110101
111111

(((¬X)∨(¬Y))∨Z)⊕P:
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)⊕P
000011111
000111110
001011111
001111110
010010111
010110110
011010111
011110110
100001111
100101110
101001111
101101110
110000000
110100001
111000011
111100010

(X∧Y)←(((Z∧Y)∧P)∨Z):
XYZPX∧YZ∧Y(Z∧Y)∧P((Z∧Y)∧P)∨Z(X∧Y)←(((Z∧Y)∧P)∨Z)
000000001
000100001
001000010
001100010
010000001
010100001
011001010
011101110
100000001
100100001
101000010
101100010
110010001
110110001
111011011
111111111

((((¬X)∨(¬Y))∨Z)⊕P)≡((X∧Y)←(((Z∧Y)∧P)∨Z)):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)⊕PX∧YZ∧Y(Z∧Y)∧P((Z∧Y)∧P)∨Z(X∧Y)←(((Z∧Y)∧P)∨Z)((((¬X)∨(¬Y))∨Z)⊕P)≡((X∧Y)←(((Z∧Y)∧P)∨Z))
000011111000011
000111110000010
001011111000100
001111110000101
010010111000011
010110110000010
011010111010100
011110110011101
100001111000011
100101110000010
101001111000100
101101110000101
110000000100010
110100001100011
111000011110111
111100010111110

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

XYZP¬X¬Y(¬X)∨(¬Y)X∧YZ∧Y(Z∧Y)∧P((¬X)∨(¬Y))∨Z((Z∧Y)∧P)∨Z(((¬X)∨(¬Y))∨Z)⊕P(X∧Y)←(((Z∧Y)∧P)∨Z)(¬X∨¬Y)∨Z⊕P≡X∧Y←Z∧Y∧P∨Z
000011100010111
000111100010010
001011100011100
001111100011001
010010100010111
010110100010010
011010101011100
011110101111001
100001100010111
100101100010010
101001100011100
101101100011001
110000010000010
110100010000111
111000011011111
111100011111010


Наши друзья

Качественное решение задач курсовых работ, РГЗ по техническим предметам.
botaniks.ru

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

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

Рейтинг@Mail.ru

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