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


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

¬Z:
Z¬Z
01
10

¬P:
P¬P
01
10

¬Y:
Y¬Y
01
10

(¬X)∧Y:
XY¬X(¬X)∧Y
0010
0111
1000
1100

((¬X)∧Y)∧P:
XYP¬X(¬X)∧Y((¬X)∧Y)∧P
000100
001100
010110
011111
100000
101000
110000
111000

(((¬X)∧Y)∧P)∧(¬Z):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)
000010010
000110000
001010010
001110000
010011010
010111000
011011111
011111100
100000010
100100000
101000010
101100000
110000010
110100000
111000010
111100000

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)¬P((X∧Y)∧(¬Z))∧(¬P)
000001010
000101000
001000010
001100000
010001010
010101000
011000010
011100000
100001010
100101000
101000010
101100000
110011111
110111100
111010010
111110000

(¬X)∧(¬Z):
XZ¬X¬Z(¬X)∧(¬Z)
00111
01100
10010
11000

((¬X)∧(¬Z))∧P:
XZP¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

X∧(¬Y):
XY¬YX∧(¬Y)
0010
0100
1011
1100

(X∧(¬Y))∧(¬Z):
XYZ¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)
0001010
0011000
0100010
0110000
1001111
1011100
1100010
1110000

((X∧(¬Y))∧(¬Z))∧P:
XYZP¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P
000010100
000110100
001010000
001110000
010000100
010100100
011000000
011100000
100011110
100111111
101011000
101111000
110000100
110100100
111000000
111100000

(¬Y)∧(¬Z):
YZ¬Y¬Z(¬Y)∧(¬Z)
00111
01100
10010
11000

((¬Y)∧(¬Z))∧P:
YZP¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

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

((X∧Y)∧Z)∧P:
XYZPX∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P
0000000
0001000
0010000
0011000
0100000
0101000
0110000
0111000
1000000
1001000
1010000
1011000
1100100
1101100
1110110
1111111

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)∧P:
XP¬X(¬X)∧P
0010
0111
1000
1100

(X∧(¬Y))∧P:
XYP¬YX∧(¬Y)(X∧(¬Y))∧P
000100
001100
010000
011000
100110
101111
110000
111000

(¬Y)∧P:
YP¬Y(¬Y)∧P
0010
0111
1000
1100

X∧Z:
XZX∧Z
000
010
100
111

(X∧Z)∧P:
XZPX∧Z(X∧Z)∧P
00000
00100
01000
01100
10000
10100
11010
11111

Z∧P:
ZPZ∧P
000
010
100
111

((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))
000010010010100
000110000000100
001010010010000
001110000000000
010011010010100
010111000000100
011011111010001
011111100000000
100000010010100
100100000000100
101000010010000
101100000000000
110000010111111
110100000100100
111000010111000
111100000100000

(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)
00001001001010011100
00011000000010010000
00101001001000011111
00111000000000010000
01001101001010011100
01011100000010010000
01101111101000111111
01111110000000010000
10000001001010001000
10010000000010000000
10100001001000001000
10110000000000000000
11000001011111101001
11010000010010000000
11100001011100001000
11110000010000000000

((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)
00001001001010011100101000
00011000000010010000100000
00101001001000011111101001
00111000000000010000100000
01001101001010011100001000
01011100000010010000000000
01101111101000111111001001
01111110000000010000000000
10000001001010001000111100
10010000000010000000110000
10100001001000001000111111
10110000000000000000110000
11000001011111101001001001
11010000010010000000000000
11100001011100001000001000
11110000010000000000000000

(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)
0000100100101001110010100011100
0001100000001001000010000010000
0010100100100001111110100111111
0011100000000001000010000010000
0100110100101001110000100001000
0101110000001001000000000000000
0110111110100011111100100101001
0111111000000001000000000000000
1000000100101000100011110011100
1001000000001000000011000010000
1010000100100000100011111111111
1011000000000000000011000010000
1100000101111110100100100101001
1101000001001000000000000000000
1110000101110000100000100001000
1111000001000000000000000000000

((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P)
00001001001010011100101000111001000
00011000000010010000100000100001000
00101001001000011111101001111111001
00111000000000010000100000100001000
01001101001010011100001000010001100
01011100000010010000000000000001100
01101111101000111111001001010011111
01111110000000010000000000000001111
10000001001010001000111100111000000
10010000000010000000110000100000000
10100001001000001000111111111110001
10110000000000000000110000100000000
11000001011111101001001001010010001
11010000010010000000000000000000000
11100001011100001000001000010000000
11110000010000000000000000000000000

(((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P)
000010010010100111001010001110010000000
000110000000100100001000001000010000000
001010010010000111111010011111110010001
001110000000000100001000001000010000000
010011010010100111000010000100011000000
010111000000100100000000000000011000000
011011111010001111110010010100111110001
011111100000000100000000000000011110001
100000010010100010001111001110000000000
100100000000100000001100001000000000000
101000010010000010001111111111100010001
101100000000000000001100001000000000000
110000010111111010010010010100100011001
110100000100100000000000000000000001100
111000010111000010000010000100000001000
111100000100000000000000000000000001111

((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P)Z∧Y(Z∧Y)∧P((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P)
000010010010100111001010001110010000000000
000110000000100100001000001000010000000000
001010010010000111111010011111110010001001
001110000000000100001000001000010000000000
010011010010100111000010000100011000000000
010111000000100100000000000000011000000100
011011111010001111110010010100111110001001
011111100000000100000000000000011110001111
100000010010100010001111001110000000000000
100100000000100000001100001000000000000000
101000010010000010001111111111100010001001
101100000000000000001100001000000000000000
110000010111111010010010010100100011001001
110100000100100000000000000000000001100100
111000010111000010000010000100000001000000
111100000100000000000000000000000001111111

(((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P)Z∧Y(Z∧Y)∧P((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P)¬X(¬X)∧P(((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P)
000010010010100111001010001110010000000000100
000110000000100100001000001000010000000000100
001010010010000111111010011111110010001001111
001110000000000100001000001000010000000000111
010011010010100111000010000100011000000000100
010111000000100100000000000000011000000100100
011011111010001111110010010100111110001001111
011111100000000100000000000000011110001111111
100000010010100010001111001110000000000000000
100100000000100000001100001000000000000000000
101000010010000010001111111111100010001001001
101100000000000000001100001000000000000000000
110000010111111010010010010100100011001001001
110100000100100000000000000000000001100100000
111000010111000010000010000100000001000000000
111100000100000000000000000000000001111111001

((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P)Z∧Y(Z∧Y)∧P((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P)¬X(¬X)∧P(((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P)
0000100100101001110010100011100100000000001001000
0001100000001001000010000010000100000000001001000
0010100100100001111110100111111100100010011111001
0011100000000001000010000010000100000000001111001
0100110100101001110000100001000110000000001000000
0101110000001001000000000000000110000001001000000
0110111110100011111100100101001111100010011110001
0111111000000001000000000000000111100011111110001
1000000100101000100011110011100000000000000001100
1001000000001000000011000010000000000000000001100
1010000100100000100011111111111000100010010011111
1011000000000000000011000010000000000000000001111
1100000101111110100100100101001000110010010010001
1101000001001000000000000000000000011001000000000
1110000101110000100000100001000000010000000000000
1111000001000000000000000000000000011111110010001

(((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P)Z∧Y(Z∧Y)∧P((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P)¬X(¬X)∧P(((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P)¬Y(¬Y)∧P(((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P)
0000100100101001110010100011100100000000001001000100
0001100000001001000010000010000100000000001001000100
0010100100100001111110100111111100100010011111001111
0011100000000001000010000010000100000000001111001111
0100110100101001110000100001000110000000001000000000
0101110000001001000000000000000110000001001000000000
0110111110100011111100100101001111100010011110001001
0111111000000001000000000000000111100011111110001001
1000000100101000100011110011100000000000000001100100
1001000000001000000011000010000000000000000001100100
1010000100100000100011111111111000100010010011111111
1011000000000000000011000010000000000000000001111111
1100000101111110100100100101001000110010010010001001
1101000001001000000000000000000000011001000000000000
1110000101110000100000100001000000010000000000000000
1111000001000000000000000000000000011111110010001001

((((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P))∨((X∧Z)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P)Z∧Y(Z∧Y)∧P((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P)¬X(¬X)∧P(((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P)¬Y(¬Y)∧P(((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P)X∧Z(X∧Z)∧P((((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P))∨((X∧Z)∧P)
0000100100101001110010100011100100000000001001000100000
0001100000001001000010000010000100000000001001000100000
0010100100100001111110100111111100100010011111001111001
0011100000000001000010000010000100000000001111001111001
0100110100101001110000100001000110000000001000000000000
0101110000001001000000000000000110000001001000000000000
0110111110100011111100100101001111100010011110001001001
0111111000000001000000000000000111100011111110001001001
1000000100101000100011110011100000000000000001100100000
1001000000001000000011000010000000000000000001100100100
1010000100100000100011111111111000100010010011111111001
1011000000000000000011000010000000000000000001111111111
1100000101111110100100100101001000110010010010001001001
1101000001001000000000000000000000011001000000000000100
1110000101110000100000100001000000010000000000000000000
1111000001000000000000000000000000011111110010001001111

(((((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P))∨((X∧Z)∧P))∨(Z∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧P¬Z(((¬X)∧Y)∧P)∧(¬Z)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P)Z∧Y(Z∧Y)∧P((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P)¬X(¬X)∧P(((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P)¬Y(¬Y)∧P(((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P)X∧Z(X∧Z)∧P((((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P))∨((X∧Z)∧P)Z∧P(((((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P))∨((X∧Z)∧P))∨(Z∧P)
000010010010100111001010001110010000000000100100010000000
000110000000100100001000001000010000000000100100010000000
001010010010000111111010011111110010001001111100111100101
001110000000000100001000001000010000000000111100111100111
010011010010100111000010000100011000000000100000000000000
010111000000100100000000000000011000000100100000000000000
011011111010001111110010010100111110001001111000100100101
011111100000000100000000000000011110001111111000100100111
100000010010100010001111001110000000000000000110010000000
100100000000100000001100001000000000000000000110010010000
101000010010000010001111111111100010001001001111111100101
101100000000000000001100001000000000000000000111111111111
110000010111111010010010010100100011001001001000100100101
110100000100100000000000000000000001100100000000000010000
111000010111000010000010000100000001000000000000000000000
111100000100000000000000000000000001111111001000100111111

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

XYPZ¬X¬Z¬P¬Y(¬X)∧Y((¬X)∧Y)∧P(((¬X)∧Y)∧P)∧(¬Z)X∧Y(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧(¬P)(¬X)∧(¬Z)((¬X)∧(¬Z))∧PX∧(¬Y)(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(X∧Y)∧Z((X∧Y)∧Z)∧PZ∧Y(Z∧Y)∧P(¬X)∧P(X∧(¬Y))∧P(¬Y)∧PX∧Z(X∧Z)∧PZ∧P((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P))(((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P)((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P)(((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P)((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P)(((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P)((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P)(((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P)((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P)(((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P)((((((((((((((¬X)∧Y)∧P)∧(¬Z))∨(((X∧Y)∧(¬Z))∧(¬P)))∨(((¬X)∧(¬Z))∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨(((¬Y)∧(¬Z))∧P))∨(((¬X)∧Y)∧P))∨(((X∧Y)∧Z)∧P))∨((Z∧Y)∧P))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P))∨((X∧Z)∧P)¬X∧Y∧P∧¬Z∨X∧Y∧¬Z∧¬P∨¬X∧¬Z∧P∨X∧¬Y∧¬Z∧P∨¬Y∧¬Z∧P∨¬X∧Y∧P∨X∧Y∧Z∧P∨Z∧Y∧P∨¬X∧P∨X∧¬Y∧P∨¬Y∧P∨X∧Z∧P∨Z∧P
0000111100000010000100000000000000000000000
0001101100000000000000000000000000000000000
0010110100000011000110000101000011111111111
0011100100000000000000000101001000000011111
0100111010000010000000000000000000000000000
0101101010000000000000010000000000000000000
0110110011100011000000000100000111111111111
0111100011000000000000011100001000011111111
1000011100000000110100000000000000000000000
1001001100000000100000000000100000000000000
1010010100000000111110000011000001111111111
1011000100000000100000000011111000000001111
1100011000011100000000000000000111111111111
1101001000010000000001010000100000000000000
1110010000011000000000000000000000000000000
1111000000010000000001111000111000001111111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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