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


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

¬X:
X¬X
01
10

¬P:
P¬P
01
10

¬Y:
Y¬Y
01
10

X∧Y:
XYX∧Y
000
010
100
111

(X∧Y)∧(¬Z):
XYZX∧Y¬Z(X∧Y)∧(¬Z)
000010
001000
010010
011000
100010
101000
110111
111100

((X∧Y)∧(¬Z))∧P:
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P
00000100
00010100
00100000
00110000
01000100
01010100
01100000
01110000
10000100
10010100
10100000
10110000
11001110
11011111
11101000
11111000

(¬X)∧(¬P):
XP¬X¬P(¬X)∧(¬P)
00111
01100
10010
11000

(¬Y)∧(¬P):
YP¬Y¬P(¬Y)∧(¬P)
00111
01100
10010
11000

Z∧(¬P):
ZP¬PZ∧(¬P)
0010
0100
1011
1100

Y∧(¬Z):
YZ¬ZY∧(¬Z)
0010
0100
1011
1100

Y∧P:
YPY∧P
000
010
100
111

(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P))
000001001111
000101001000
001000001111
001100001000
010001001111
010101001000
011000001111
011100001000
100001000100
100101000000
101000000100
101100000000
110011100100
110111110001
111010000100
111110000000

((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P))¬Y¬P(¬Y)∧(¬P)((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P))
0000010011111111
0001010010001000
0010000011111111
0011000010001000
0100010011110101
0101010010000000
0110000011110101
0111000010000000
1000010001001111
1001010000001000
1010000001001111
1011000000001000
1100111001000100
1101111100010001
1110100001000100
1111100000000000

(((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P))¬Y¬P(¬Y)∧(¬P)((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P))¬PZ∧(¬P)(((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P))
0000010011111111101
0001010010001000000
0010000011111111111
0011000010001000000
0100010011110101101
0101010010000000000
0110000011110101111
0111000010000000000
1000010001001111101
1001010000001000000
1010000001001111111
1011000000001000000
1100111001000100100
1101111100010001001
1110100001000100111
1111100000000000000

(Y∧(¬Z))∨(Y∧P):
YZP¬ZY∧(¬Z)Y∧P(Y∧(¬Z))∨(Y∧P)
0001000
0011000
0100000
0110000
1001101
1011111
1100000
1110011

((Y∧(¬Z))∨(Y∧P))∨Z:
YZP¬ZY∧(¬Z)Y∧P(Y∧(¬Z))∨(Y∧P)((Y∧(¬Z))∨(Y∧P))∨Z
00010000
00110000
01000001
01100001
10011011
10111111
11000001
11100111

(X∧Y)←(((Y∧(¬Z))∨(Y∧P))∨Z):
XYZPX∧Y¬ZY∧(¬Z)Y∧P(Y∧(¬Z))∨(Y∧P)((Y∧(¬Z))∨(Y∧P))∨Z(X∧Y)←(((Y∧(¬Z))∨(Y∧P))∨Z)
00000100001
00010100001
00100000010
00110000010
01000110110
01010111110
01100000010
01110001110
10000100001
10010100001
10100000010
10110000010
11001110111
11011111111
11101000011
11111001111

((((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P)))≡((X∧Y)←(((Y∧(¬Z))∨(Y∧P))∨Z)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P))¬Y¬P(¬Y)∧(¬P)((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P))¬PZ∧(¬P)(((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P))X∧Y¬ZY∧(¬Z)Y∧P(Y∧(¬Z))∨(Y∧P)((Y∧(¬Z))∨(Y∧P))∨Z(X∧Y)←(((Y∧(¬Z))∨(Y∧P))∨Z)((((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P)))≡((X∧Y)←(((Y∧(¬Z))∨(Y∧P))∨Z))
000001001111111110101000011
000101001000100000001000010
001000001111111111100000100
001100001000100000000000101
010001001111010110101101100
010101001000000000001111101
011000001111010111100000100
011100001000000000000011101
100001000100111110101000011
100101000000100000001000010
101000000100111111100000100
101100000000100000000000101
110011100100010010011101110
110111110001000100111111111
111010000100010011110000111
111110000000000000010011110

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

XYZP¬Z¬X¬P¬YX∧Y(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P(¬X)∧(¬P)(¬Y)∧(¬P)Z∧(¬P)Y∧(¬Z)Y∧P(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P))((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P))(((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P))(Y∧(¬Z))∨(Y∧P)((Y∧(¬Z))∨(Y∧P))∨Z(X∧Y)←(((Y∧(¬Z))∨(Y∧P))∨Z)X∧Y∧¬Z∧P∨¬X∧¬P∨¬Y∧¬P∨Z∧¬P≡X∧Y←Y∧¬Z∨Y∧P∨Z
00001111000110001110011
00011101000000000000010
00100111000111001110100
00110101000000000000101
01001110000100101111100
01011100000000110001101
01100110000101001110100
01110100000000010001101
10001011000010000110011
10011001000000000000010
10100011000011000110100
10110001000000000000101
11001010110000100001110
11011000111000111111111
11100010100001000010111
11110000100000010001110


Наши друзья

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

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

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

Рейтинг@Mail.ru

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