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


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

¬Z:
Z¬Z
01
10

¬Y:
Y¬Y
01
10

¬P:
P¬P
01
10

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

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

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

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

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

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

X∧Y:
XYX∧Y
000
010
100
111

(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∧Z:
XZX∧Z
000
010
100
111

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

Y∧Z:
YZY∧Z
000
010
100
111

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

Z∧P:
ZPZ∧P
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)∧(¬Z))∧P)∨(((¬X)∧P)∧Y):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)
0000101001000
0001101001100
0010100001000
0011100001100
0100111101000
0101111111111
0110110001000
0111110001111
1000001000000
1001001000000
1010000000000
1011000000000
1100001000000
1101001000000
1110000000000
1111000000000

(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)
000010100100011100
000110100110011111
001010000100010000
001110000110010000
010011110100011100
010111111111111111
011011000100010000
011111000111110001
100000100000001000
100100100000001000
101000000000000000
101100000000000000
110000100000001000
110100100000001000
111000000000000000
111100000000000000

((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)
000010100100011100100
000110100110011111111
001010000100010000100
001110000110010000111
010011110100011100100
010111111111111111111
011011000100010000100
011111000111110001111
100000100000001000000
100100100000001000000
101000000000000000000
101100000000000000000
110000100000001000000
110100100000001000000
111000000000000000000
111100000000000000000

(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)
000010100100011100100101000
000110100110011111111101001
001010000100010000100100000
001110000110010000111100001
010011110100011100100001000
010111111111111111111001001
011011000100010000100000000
011111000111110001111000001
100000100000001000000111100
100100100000001000000111111
101000000000000000000110000
101100000000000000000110000
110000100000001000000001000
110100100000001000000001000
111000000000000000000000000
111100000000000000000000000

((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P)
0000101001000111001001010001000
0001101001100111111111010011001
0010100001000100001001000001000
0011100001100100001111000011001
0100111101000111001000010000000
0101111111111111111110010010001
0110110001000100001000000000000
0111110001111100011110000010001
1000001000000010000001111001100
1001001000000010000001111111111
1010000000000000000001100001100
1011000000000000000001100001111
1100001000000010000000010000000
1101001000000010000000010000000
1110000000000000000000000000000
1111000000000000000000000000000

(((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P)
000010100100011100100101000100011100
000110100110011111111101001100111111
001010000100010000100100000100010000
001110000110010000111100001100110001
010011110100011100100001000000001000
010111111111111111111001001000101001
011011000100010000100000000000000000
011111000111110001111000001000100001
100000100000001000000111100110011100
100100100000001000000111111111111111
101000000000000000000110000110010000
101100000000000000000110000111110001
110000100000001000000001000000001000
110100100000001000000001000000001000
111000000000000000000000000000000000
111100000000000000000000000000000000

((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P)¬Y(¬Y)∧P((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P)
000010100100011100100101000100011100100
000110100110011111111101001100111111111
001010000100010000100100000100010000100
001110000110010000111100001100110001111
010011110100011100100001000000001000000
010111111111111111111001001000101001001
011011000100010000100000000000000000000
011111000111110001111000001000100001001
100000100000001000000111100110011100100
100100100000001000000111111111111111111
101000000000000000000110000110010000100
101100000000000000000110000111110001111
110000100000001000000001000000001000000
110100100000001000000001000000001000000
111000000000000000000000000000000000000
111100000000000000000000000000000000000

(((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P)¬Y(¬Y)∧P((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P)
0000101001000111001001010001000111001000000
0001101001100111111111010011001111111110001
0010100001000100001001000001000100001000000
0011100001100100001111000011001100011110001
0100111101000111001000010000000010000000000
0101111111111111111110010010001010010010001
0110110001000100001000000000000000000000000
0111110001111100011110000010001000010010001
1000001000000010000001111001100111001000000
1001001000000010000001111111111111111110001
1010000000000000000001100001100100001000000
1011000000000000000001100001111100011110001
1100001000000010000000010000000010000001000
1101001000000010000000010000000010000001000
1110000000000000000000000000000000000001100
1111000000000000000000000000000000000001111

((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P)¬Y(¬Y)∧P((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P)X∧Z(X∧Z)∧P((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P)
0000101001000111001001010001000111001000000000
0001101001100111111111010011001111111110001001
0010100001000100001001000001000100001000000000
0011100001100100001111000011001100011110001001
0100111101000111001000010000000010000000000000
0101111111111111111110010010001010010010001001
0110110001000100001000000000000000000000000000
0111110001111100011110000010001000010010001001
1000001000000010000001111001100111001000000000
1001001000000010000001111111111111111110001001
1010000000000000000001100001100100001000000100
1011000000000000000001100001111100011110001111
1100001000000010000000010000000010000001000000
1101001000000010000000010000000010000001000000
1110000000000000000000000000000000000001100100
1111000000000000000000000000000000000001111111

(((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P)¬Y(¬Y)∧P((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P)X∧Z(X∧Z)∧P((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P)Y∧Z(Y∧Z)∧P(((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P)
0000101001000111001001010001000111001000000000000
0001101001100111111111010011001111111110001001001
0010100001000100001001000001000100001000000000000
0011100001100100001111000011001100011110001001001
0100111101000111001000010000000010000000000000000
0101111111111111111110010010001010010010001001001
0110110001000100001000000000000000000000000000100
0111110001111100011110000010001000010010001001111
1000001000000010000001111001100111001000000000000
1001001000000010000001111111111111111110001001001
1010000000000000000001100001100100001000000100000
1011000000000000000001100001111100011110001111001
1100001000000010000000010000000010000001000000000
1101001000000010000000010000000010000001000000000
1110000000000000000000000000000000000001100100100
1111000000000000000000000000000000000001111111111

((((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P))∨(Z∧P):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P)¬Y(¬Y)∧P((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P)X∧Z(X∧Z)∧P((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P)Y∧Z(Y∧Z)∧P(((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P)Z∧P((((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P))∨(Z∧P)
000010100100011100100101000100011100100000000000000
000110100110011111111101001100111111111000100100101
001010000100010000100100000100010000100000000000000
001110000110010000111100001100110001111000100100111
010011110100011100100001000000001000000000000000000
010111111111111111111001001000101001001000100100101
011011000100010000100000000000000000000000000010000
011111000111110001111000001000100001001000100111111
100000100000001000000111100110011100100000000000000
100100100000001000000111111111111111111000100100101
101000000000000000000110000110010000100000010000000
101100000000000000000110000111110001111000111100111
110000100000001000000001000000001000000100000000000
110100100000001000000001000000001000000100000000000
111000000000000000000000000000000000000110010010000
111100000000000000000000000000000000000111111111111

(((((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P))∨(Z∧P))∨(((X∧Y)∧(¬Z))∧(¬P)):
XYZP¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P¬X(¬X)∧P((¬X)∧P)∧Y((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)¬X¬Z(¬X)∧(¬Z)((¬X)∧(¬Z))∧P(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)¬X(¬X)∧P((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)(X∧(¬Y))∧P((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P)¬Y¬Z(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P)¬Y(¬Y)∧P((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P)X∧Y(X∧Y)∧Z((X∧Y)∧Z)∧P(((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P)X∧Z(X∧Z)∧P((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P)Y∧Z(Y∧Z)∧P(((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P)Z∧P((((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P))∨(Z∧P)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)(((((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P))∨(Z∧P))∨(((X∧Y)∧(¬Z))∧(¬P))
000010100100011100100101000100011100100000000000000010100
000110100110011111111101001100111111111000100100101010001
001010000100010000100100000100010000100000000000000000100
001110000110010000111100001100110001111000100100111000001
010011110100011100100001000000001000000000000000000010100
010111111111111111111001001000101001001000100100101010001
011011000100010000100000000000000000000000000010000000100
011111000111110001111000001000100001001000100111111000001
100000100000001000000111100110011100100000000000000010100
100100100000001000000111111111111111111000100100101010001
101000000000000000000110000110010000100000010000000000100
101100000000000000000110000111110001111000111100111000001
110000100000001000000001000000001000000100000000000111111
110100100000001000000001000000001000000100000000000111000
111000000000000000000000000000000000000110010010000100100
111100000000000000000000000000000000000111111111111100001

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

XYZP¬X¬Z¬Y¬P(¬X)∧Y((¬X)∧Y)∧(¬Z)(((¬X)∧Y)∧(¬Z))∧P(¬X)∧P((¬X)∧P)∧Y(¬X)∧(¬Z)((¬X)∧(¬Z))∧PX∧(¬Y)(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P(X∧(¬Y))∧P(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧P(¬Y)∧PX∧Y(X∧Y)∧Z((X∧Y)∧Z)∧PX∧Z(X∧Z)∧PY∧Z(Y∧Z)∧PZ∧P(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y)(((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P)((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P)(((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P)((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P)(((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P)((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P)(((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P)((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P)(((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P)((((((((((((((¬X)∧Y)∧(¬Z))∧P)∨(((¬X)∧P)∧Y))∨(((¬X)∧(¬Z))∧P))∨((¬X)∧P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧P))∨(((¬Y)∧(¬Z))∧P))∨((¬Y)∧P))∨(((X∧Y)∧Z)∧P))∨((X∧Z)∧P))∨((Y∧Z)∧P))∨(Z∧P)¬X∧Y∧¬Z∧P∨¬X∧P∧Y∨¬X∧¬Z∧P∨¬X∧P∨X∧¬Y∧¬Z∧P∨X∧¬Y∧P∨¬Y∧¬Z∧P∨¬Y∧P∨X∧Y∧Z∧P∨X∧Z∧P∨Y∧Z∧P∨Z∧P∨X∧Y∧¬Z∧¬P
00001111000001000001000000000000000000000000
00011110000101100001110000000000011111111111
00101011000000000000000000000000000000000000
00111010000100000000010000000100001111111111
01001101110001000000000000000000000000000000
01011100111111100000000000000000111111111111
01101001100000000000000000010000000000000000
01111000100110000000000000011100111111111111
10000111000000011001000000000000000000000000
10010110000000011111110000000000000111111111
10100011000000010000000001000000000000000000
10110010000000010010010001100100000011111111
11000101000000000000001000000011000000000001
11010100000000000000001000000010000000000000
11100001000000000000001101010000000000000000
11110000000000000000001111111100000000011111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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