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


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

¬P:
P¬P
01
10

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

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

((¬X)∧Y)∧(¬Z):
XYZ¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)
0001010
0011000
0101111
0111100
1000010
1010000
1100010
1110000

(((¬X)∧Y)∧(¬Z))∧P:
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P
000010100
000110100
001010000
001110000
010011110
010111111
011011000
011111000
100000100
100100100
101000000
101100000
110000100
110100100
111000000
111100000

(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

((¬X)∧Y)∧Z:
XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z
000100
001100
010110
011111
100000
101000
110000
111000

(((¬X)∧Y)∧Z)∧P:
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P
00001000
00011000
00101000
00111000
01001100
01011100
01101110
01111111
10000000
10010000
10100000
10110000
11000000
11010000
11100000
11110000

((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

((¬X)∧(¬P))∧(¬Z):
XPZ¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)
00011111
00111100
01010010
01110000
10001010
10101000
11000010
11100000

(¬X)∧(¬Y):
XY¬X¬Y(¬X)∧(¬Y)
00111
01100
10010
11000

((¬X)∧(¬Y))∧(¬Z):
XYZ¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)
00011111
00111100
01010010
01110000
10001010
10101000
11000010
11100000

(((¬X)∧(¬Y))∧(¬Z))∧(¬P):
XYZP¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)
00001111111
00011111100
00101110010
00111110000
01001001010
01011001000
01101000010
01111000000
10000101010
10010101000
10100100010
10110100000
11000001010
11010001000
11100000010
11110000000

((X∧Y)∧Z)∧(¬P):
XYZPX∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)
00000010
00010000
00100010
00110000
01000010
01010000
01100010
01110000
10000010
10010000
10100010
10110000
11001010
11011000
11101111
11111100

(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P)
000001010101000
000101000101000
001000010100000
001100000100000
010001010111100
010101000111111
011000010110000
011100000110000
100001010001000
100101000001000
101000010000000
101100000000000
110011111001001
110111100001000
111010010000000
111110000000000

((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P)
0000010101010000000
0001010001010000000
0010000101000000000
0011000001000000000
0100010101111000000
0101010001111110001
0110000101100000000
0111000001100000000
1000010100010000000
1001010000010000000
1010000100000000000
1011000000000000000
1100111110010011001
1101111000010001000
1110100100000001100
1111100000000001111

(((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P(((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)
000001010101000000010000
000101000101000000010000
001000010100000000010000
001100000100000000010000
010001010111100000011000
010101000111111000111001
011000010110000000011100
011100000110000000011111
100001010001000000000000
100101000001000000000000
101000010000000000000000
101100000000000000000000
110011111001001100100001
110111100001000100000000
111010010000000110000000
111110000000000111100001

((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P(((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)X∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P)
00000101010100000001000001000
00010100010100000001000001000
00100001010000000001000000000
00110000010000000001000000000
01000101011110000001100001000
01010100011111100011100101001
01100001011000000001110000000
01110000011000000001111100001
10000101000100000000000001000
10010100000100000000000001000
10100001000000000000000000000
10110000000000000000000000000
11001111100100110010000111101
11011110000100010000000011111
11101001000000011000000010000
11111000000000011110000110001

(((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P(((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)X∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P)¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)(((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z))
00000101010100000001000001000111111
00010100010100000001000001000100100
00100001010000000001000000000111000
00110000010000000001000000000100000
01000101011110000001100001000111111
01010100011111100011100101001100101
01100001011000000001110000000111000
01110000011000000001111100001100001
10000101000100000000000001000010100
10010100000100000000000001000000100
10100001000000000000000000000010000
10110000000000000000000000000000000
11001111100100110010000111101010101
11011110000100010000000011111000101
11101001000000011000000010000010000
11111000000000011110000110001000001

((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P(((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)X∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P)¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)(((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z))¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P))
0000010101010000000100000100011111111111111
0001010001010000000100000100010010011111000
0010000101000000000100000000011100011100100
0011000001000000000100000000010000011100000
0100010101111000000110000100011111110010101
0101010001111110001110010100110010110010001
0110000101100000000111000000011100010000100
0111000001100000000111110000110000110000001
1000010100010000000000000100001010001010100
1001010000010000000000000100000010001010000
1010000100000000000000000000001000001000100
1011000000000000000000000000000000001000000
1100111110010011001000011110101010100010101
1101111000010001000000001111100010100010001
1110100100000001100000001000001000000000100
1111100000000001111000011000100000100000001

(((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P(((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)X∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P)¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)(((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z))¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P))X∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)(((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P))
000001010101000000010000010001111111111111100101
000101000101000000010000010001001001111100000000
001000010100000000010000000001110001110010000100
001100000100000000010000000001000001110000000000
010001010111100000011000010001111111001010100101
010101000111111000111001010011001011001000100001
011000010110000000011100000001110001000010000100
011100000110000000011111000011000011000000100001
100001010001000000000000010000101000101010000100
100101000001000000000000010000001000101000000000
101000010000000000000000000000100000100010000100
101100000000000000000000000000000000100000000000
110011111001001100100001111010101010001010110101
110111100001000100000000111110001010001000110001
111010010000000110000000100000100000000010011111
111110000000000111100001100010000010000000111001

((((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P)))∨1:
XYZPX∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P(((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)X∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P)¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)(((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z))¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P))X∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)(((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P))((((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P)))∨1
0000010101010000000100000100011111111111111001011
0001010001010000000100000100010010011111000000001
0010000101000000000100000000011100011100100001001
0011000001000000000100000000010000011100000000001
0100010101111000000110000100011111110010101001011
0101010001111110001110010100110010110010001000011
0110000101100000000111000000011100010000100001001
0111000001100000000111110000110000110000001000011
1000010100010000000000000100001010001010100001001
1001010000010000000000000100000010001010000000001
1010000100000000000000000000001000001000100001001
1011000000000000000000000000000000001000000000001
1100111110010011001000011110101010100010101101011
1101111000010001000000001111100010100010001100011
1110100100000001100000001000001000000000100111111
1111100000000001111000011000100000100000001110011

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

XYZP¬Z¬P¬X¬YX∧Y(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧(¬P)(¬X)∧Y((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(X∧Y)∧Z((X∧Y)∧Z)∧P((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((X∧Y)∧(¬Z))∧P(¬X)∧(¬P)((¬X)∧(¬P))∧(¬Z)(¬X)∧(¬Y)((¬X)∧(¬Y))∧(¬Z)(((¬X)∧(¬Y))∧(¬Z))∧(¬P)((X∧Y)∧Z)∧(¬P)(((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P)((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P)(((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P)(((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z))((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P))(((((((((X∧Y)∧(¬Z))∧(¬P))∨((((¬X)∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((X∧Y)∧(¬Z))∧P))∨(((¬X)∧(¬P))∧(¬Z)))∨((((¬X)∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P))X∧Y∧¬Z∧¬P∨¬X∧Y∧¬Z∧P∨X∧Y∧Z∧P∨¬X∧Y∧Z∧P∨X∧Y∧¬Z∧P∨¬X∧¬P∧¬Z∨¬X∧¬Y∧¬Z∧¬P∨X∧Y∧Z∧¬P∨1
000011110000000000011111000001111
000110110000000000000110000000001
001001110000000000010100000000001
001100110000000000000100000000001
010011100001100000011000000001111
010110100001110000000000011111111
011001100001000010010000000000001
011100100001000011000000000111111
100011010000000000000000000000001
100110010000000000000000000000001
101001010000000000000000000000001
101100010000000000000000000000001
110011001110000000000000011111111
110110001100000000100000000011111
111001001000001000000000100000011
111100001000001100000000001111111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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