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


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

¬ZY:
ZY¬ZY
01
10

X∧(¬ZY):
XZY¬ZYX∧(¬ZY)
0010
0100
1011
1100

(X∧(¬ZY))∧Z:
XZYZ¬ZYX∧(¬ZY)(X∧(¬ZY))∧Z
000100
001100
010000
011000
100110
101111
110000
111000

Z∧Y:
ZYZ∧Y
000
010
100
111

(Z∧Y)∧X:
ZYXZ∧Y(Z∧Y)∧X
00000
00100
01000
01100
10000
10100
11010
11111

((Z∧Y)∧X)→((X∧(¬ZY))∧Z):
ZYXZYZ∧Y(Z∧Y)∧X¬ZYX∧(¬ZY)(X∧(¬ZY))∧Z((Z∧Y)∧X)→((X∧(¬ZY))∧Z)
0000001001
0001000001
0010001101
0011000001
0100001001
0101000001
0110001101
0111000001
1000001001
1001000001
1010001111
1011000001
1100101001
1101100001
1110111111
1111110000

¬X:
X¬X
01
10

(((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X):
ZYXZYZ∧Y(Z∧Y)∧X¬ZYX∧(¬ZY)(X∧(¬ZY))∧Z((Z∧Y)∧X)→((X∧(¬ZY))∧Z)¬X(((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X)
000000100111
000100000111
001000110100
001100000100
010000100111
010100000111
011000110100
011100000100
100000100111
100100000111
101000111100
101100000100
110010100111
110110000111
111011111100
111111000000

((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z:
ZYXZYZ∧Y(Z∧Y)∧X¬ZYX∧(¬ZY)(X∧(¬ZY))∧Z((Z∧Y)∧X)→((X∧(¬ZY))∧Z)¬X(((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X)((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z
0000001001110
0001000001110
0010001101000
0011000001000
0100001001110
0101000001110
0110001101000
0111000001000
1000001001111
1001000001111
1010001111000
1011000001000
1100101001111
1101100001111
1110111111000
1111110000000

(((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y:
ZYXZYZ∧Y(Z∧Y)∧X¬ZYX∧(¬ZY)(X∧(¬ZY))∧Z((Z∧Y)∧X)→((X∧(¬ZY))∧Z)¬X(((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X)((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z(((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y
00000010011100
00010000011100
00100011010000
00110000010000
01000010011100
01010000011100
01100011010000
01110000010000
10000010011110
10010000011110
10100011110000
10110000010000
11001010011111
11011000011111
11101111110000
11111100000000

(X∧Y)∨((((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y):
XYZZYX∧YZ∧Y(Z∧Y)∧X¬ZYX∧(¬ZY)(X∧(¬ZY))∧Z((Z∧Y)∧X)→((X∧(¬ZY))∧Z)¬X(((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X)((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z(((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y(X∧Y)∨((((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y)
0000000100111000
0001000000111000
0010000100111100
0011000000111100
0100000100111000
0101000000111000
0110010100111111
0111010000111111
1000000110100000
1001000000100000
1010000111100000
1011000000100000
1100100110100001
1101100000100001
1110111111100001
1111111000000001

((X∧Y)∨((((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y))∨X:
XYZZYX∧YZ∧Y(Z∧Y)∧X¬ZYX∧(¬ZY)(X∧(¬ZY))∧Z((Z∧Y)∧X)→((X∧(¬ZY))∧Z)¬X(((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X)((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z(((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y(X∧Y)∨((((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y)((X∧Y)∨((((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y))∨X
00000001001110000
00010000001110000
00100001001111000
00110000001111000
01000001001110000
01010000001110000
01100101001111111
01110100001111111
10000001101000001
10010000001000001
10100001111000001
10110000001000001
11001001101000011
11011000001000011
11101111111000011
11111110000000011

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

XYZZYX∧Y¬ZYX∧(¬ZY)(X∧(¬ZY))∧ZZ∧Y(Z∧Y)∧X((Z∧Y)∧X)→((X∧(¬ZY))∧Z)¬X(((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X)((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z(((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y(X∧Y)∨((((((Z∧Y)∧X)→((X∧(¬ZY))∧Z))∧(¬X))∧Z)∧Y)(X∧Y)∨(Z∧Y∧X→(X∧¬ZY∧Z))∧¬X∧Z∧Y∨X
00000100001110000
00010000001110000
00100100001111000
00110000001111000
01000100001110000
01010000001110000
01100100101111111
01110000101111111
10000110001000001
10010000001000001
10100111001000001
10110000001000001
11001110001000011
11011000001000011
11101111111000011
11111000110000011


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

Рейтинг@Mail.ru

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