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


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

¬P:
P¬P
01
10

¬Y:
Y¬Y
01
10

¬Z:
Z¬Z
01
10

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

((¬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¬P(((¬X)∧Y)∧Z)∧(¬P)
000010010
000110000
001010010
001110000
010011010
010111000
011011111
011111100
100000010
100100000
101000010
101100000
110000010
110100000
111000010
111100000

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∧P:
XPX∧P
000
010
100
111

(X∧P)∧(¬Z):
XPZX∧P¬Z(X∧P)∧(¬Z)
000010
001000
010010
011000
100010
101000
110111
111100

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

((¬X)∧(¬P))∧Y:
XPY¬X¬P(¬X)∧(¬P)((¬X)∧(¬P))∧Y
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

(¬X)∧Z:
XZ¬X(¬X)∧Z
0010
0111
1000
1100

((¬X)∧Z)∧(¬P):
XZP¬X(¬X)∧Z¬P((¬X)∧Z)∧(¬P)
0001010
0011000
0101111
0111100
1000010
1010000
1100010
1110000

Z∧(¬X):
ZX¬XZ∧(¬X)
0010
0100
1011
1100

Z∧Y:
ZYZ∧Y
000
010
100
111

X∧(¬Z):
XZ¬ZX∧(¬Z)
0010
0100
1011
1100

((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)
000010010101000
000110000101000
001010010100000
001110000100000
010011010001000
010111000001000
011011111000001
011111100000000
100000010111100
100100000111111
101000010110000
101100000110000
110000010001000
110100000001000
111000010000000
111100000000000

(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))
00001001010100010100
00011000010100010100
00101001010000010000
00111000010000010000
01001101000100000100
01011100000100000100
01101111100000100001
01111110000000000000
10000001011110011111
10010000011111111111
10100001011000011000
10110000011000011000
11000001000100000100
11010000000100000100
11100001000000000000
11110000000000000000

((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))X∧P¬Z(X∧P)∧(¬Z)((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z))
000010010101000101000100
000110000101000101000100
001010010100000100000000
001110000100000100000000
010011010001000001000100
010111000001000001000100
011011111000001000010001
011111100000000000000000
100000010111100111110101
100100000111111111111111
101000010110000110000000
101100000110000110001000
110000010001000001000100
110100000001000001001111
111000010000000000000000
111100000000000000001000

(((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))X∧P¬Z(X∧P)∧(¬Z)((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z))¬X(¬X)∧Y((¬X)∧Y)∧Z(((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z)
0000100101010001010001001000
0001100001010001010001001000
0010100101000001000000001000
0011100001000001000000001000
0100110100010000010001001100
0101110000010000010001001100
0110111110000010000100011111
0111111000000000000000001111
1000000101111001111101010001
1001000001111111111111110001
1010000101100001100000000000
1011000001100001100010000000
1100000100010000010001000000
1101000000010000010011110001
1110000100000000000000000000
1111000000000000000010000000

((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))X∧P¬Z(X∧P)∧(¬Z)((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z))¬X(¬X)∧Y((¬X)∧Y)∧Z(((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z)¬X¬P(¬X)∧(¬P)((¬X)∧(¬P))∧Y((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y)
000010010101000101000100100011100
000110000101000101000100100010000
001010010100000100000000100011100
001110000100000100000000100010000
010011010001000001000100110011111
010111000001000001000100110010000
011011111000001000010001111111111
011111100000000000000000111110001
100000010111100111110101000101001
100100000111111111111111000100001
101000010110000110000000000001000
101100000110000110001000000000000
110000010001000001000100000001000
110100000001000001001111000100001
111000010000000000000000000001000
111100000000000000001000000000000

(((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))X∧P¬Z(X∧P)∧(¬Z)((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z))¬X(¬X)∧Y((¬X)∧Y)∧Z(((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z)¬X¬P(¬X)∧(¬P)((¬X)∧(¬P))∧Y((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y)¬X(¬X)∧Z¬P((¬X)∧Z)∧(¬P)(((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P))
00001001010100010100010010001110010100
00011000010100010100010010001000010000
00101001010000010000000010001110011111
00111000010000010000000010001000011000
01001101000100000100010011001111110101
01011100000100000100010011001000010000
01101111100000100001000111111111111111
01111110000000000000000011111000111001
10000001011110011111010100010100100101
10010000011111111111111100010000100001
10100001011000011000000000000100000100
10110000011000011000100000000000000000
11000001000100000100010000000100000100
11010000000100000100111100010000100001
11100001000000000000000000000100000100
11110000000000000000100000000000000000

((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))X∧P¬Z(X∧P)∧(¬Z)((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z))¬X(¬X)∧Y((¬X)∧Y)∧Z(((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z)¬X¬P(¬X)∧(¬P)((¬X)∧(¬P))∧Y((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y)¬X(¬X)∧Z¬P((¬X)∧Z)∧(¬P)(((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P))¬X¬P(¬X)∧(¬P)((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P))
000010010101000101000100100011100101001111
000110000101000101000100100010000100001000
001010010100000100000000100011100111111111
001110000100000100000000100010000110001000
010011010001000001000100110011111101011111
010111000001000001000100110010000100001000
011011111000001000010001111111111111111111
011111100000000000000000111110001110011001
100000010111100111110101000101001001010101
100100000111111111111111000100001000010001
101000010110000110000000000001000001000100
101100000110000110001000000000000000000000
110000010001000001000100000001000001000100
110100000001000001001111000100001000010001
111000010000000000000000000001000001000100
111100000000000000001000000000000000000000

(((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X)):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))X∧P¬Z(X∧P)∧(¬Z)((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z))¬X(¬X)∧Y((¬X)∧Y)∧Z(((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z)¬X¬P(¬X)∧(¬P)((¬X)∧(¬P))∧Y((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y)¬X(¬X)∧Z¬P((¬X)∧Z)∧(¬P)(((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P))¬X¬P(¬X)∧(¬P)((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P))¬XZ∧(¬X)(((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X))
000010010101000101000100100011100101001111101
000110000101000101000100100010000100001000100
001010010100000100000000100011100111111111111
001110000100000100000000100010000110001000111
010011010001000001000100110011111101011111101
010111000001000001000100110010000100001000100
011011111000001000010001111111111111111111111
011111100000000000000000111110001110011001111
100000010111100111110101000101001001010101001
100100000111111111111111000100001000010001001
101000010110000110000000000001000001000100000
101100000110000110001000000000000000000000000
110000010001000001000100000001000001000100000
110100000001000001001111000100001000010001001
111000010000000000000000000001000001000100000
111100000000000000001000000000000000000000000

((((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X)))∨(Z∧Y):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))X∧P¬Z(X∧P)∧(¬Z)((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z))¬X(¬X)∧Y((¬X)∧Y)∧Z(((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z)¬X¬P(¬X)∧(¬P)((¬X)∧(¬P))∧Y((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y)¬X(¬X)∧Z¬P((¬X)∧Z)∧(¬P)(((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P))¬X¬P(¬X)∧(¬P)((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P))¬XZ∧(¬X)(((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X))Z∧Y((((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X)))∨(Z∧Y)
00001001010100010100010010001110010100111110101
00011000010100010100010010001000010000100010000
00101001010000010000000010001110011111111111101
00111000010000010000000010001000011000100011101
01001101000100000100010011001111110101111110101
01011100000100000100010011001000010000100010000
01101111100000100001000111111111111111111111111
01111110000000000000000011111000111001100111111
10000001011110011111010100010100100101010100101
10010000011111111111111100010000100001000100101
10100001011000011000000000000100000100010000000
10110000011000011000100000000000000000000000000
11000001000100000100010000000100000100010000000
11010000000100000100111100010000100001000100101
11100001000000000000000000000100000100010000011
11110000000000000000100000000000000000000000011

(((((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X)))∨(Z∧Y))∨(X∧(¬Z)):
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z¬P(((¬X)∧Y)∧Z)∧(¬P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧P((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))X∧P¬Z(X∧P)∧(¬Z)((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z))¬X(¬X)∧Y((¬X)∧Y)∧Z(((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z)¬X¬P(¬X)∧(¬P)((¬X)∧(¬P))∧Y((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y)¬X(¬X)∧Z¬P((¬X)∧Z)∧(¬P)(((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P))¬X¬P(¬X)∧(¬P)((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P))¬XZ∧(¬X)(((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X))Z∧Y((((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X)))∨(Z∧Y)¬ZX∧(¬Z)(((((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X)))∨(Z∧Y))∨(X∧(¬Z))
00001001010100010100010010001110010100111110101101
00011000010100010100010010001000010000100010000100
00101001010000010000000010001110011111111111101001
00111000010000010000000010001000011000100011101001
01001101000100000100010011001111110101111110101101
01011100000100000100010011001000010000100010000100
01101111100000100001000111111111111111111111111001
01111110000000000000000011111000111001100111111001
10000001011110011111010100010100100101010100101111
10010000011111111111111100010000100001000100101111
10100001011000011000000000000100000100010000000000
10110000011000011000100000000000000000000000000000
11000001000100000100010000000100000100010000000111
11010000000100000100111100010000100001000100101111
11100001000000000000000000000100000100010000011001
11110000000000000000100000000000000000000000011001

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

XYZP¬X¬P¬Y¬Z(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧(¬P)X∧(¬Y)(X∧(¬Y))∧(¬Z)((X∧(¬Y))∧(¬Z))∧PX∧P(X∧P)∧(¬Z)(¬X)∧(¬P)((¬X)∧(¬P))∧Y(¬X)∧Z((¬X)∧Z)∧(¬P)Z∧(¬X)Z∧YX∧(¬Z)((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P)(((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z))((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z))(((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z)((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y)(((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P))((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P))(((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X))((((((((((((¬X)∧Y)∧Z)∧(¬P))∨(((X∧(¬Y))∧(¬Z))∧P))∨((X∧(¬Y))∧(¬Z)))∨((X∧P)∧(¬Z)))∨(((¬X)∧Y)∧Z))∨(((¬X)∧(¬P))∧Y))∨(((¬X)∧Z)∧(¬P)))∨((¬X)∧(¬P)))∨(Z∧(¬X)))∨(Z∧Y)¬X∧Y∧Z∧¬P∨X∧¬Y∧¬Z∧P∨X∧¬Y∧¬Z∨X∧P∧¬Z∨¬X∧Y∧Z∨¬X∧¬P∧Y∨¬X∧Z∧¬P∨¬X∧¬P∨Z∧¬X∨Z∧Y∨X∧¬Z
000011110000000010000000000001111
000110110000000000000000000000000
001011100000000010111000000011111
001110100000000000101000000000111
010011011000000011000000000111111
010110011000000000000000000000000
011011001110000011111101111111111
011110001100000000101100001111111
100001110001100000000010111111111
100100110001111100000011111111111
101001100001000000000000000000000
101100100001001000000000000000000
110001010000000000000010000000001
110100010000001100000010011111111
111001000000000000000100000000011
111100000000001000000100000000011

Логическая схема:

Совершенная дизъюнктивная нормальная форма (СДНФ):

По таблице истинности:
XYZPF
00001
00010
00101
00111
01001
01010
01101
01111
10001
10011
10100
10110
11001
11011
11101
11111
Fсднф = ¬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
Логическая cхема:

Совершенная конъюнктивная нормальная форма (СКНФ):

По таблице истинности:
XYZPF
00001
00010
00101
00111
01001
01010
01101
01111
10001
10011
10100
10110
11001
11011
11101
11111
Fскнф = (X∨Y∨Z∨¬P) ∧ (X∨¬Y∨Z∨¬P) ∧ (¬X∨Y∨¬Z∨P) ∧ (¬X∨Y∨¬Z∨¬P)
Логическая cхема:

Построение полинома Жегалкина:

По таблице истинности функции
XYZPFж
00001
00010
00101
00111
01001
01010
01101
01111
10001
10011
10100
10110
11001
11011
11101
11111

Построим полином Жегалкина:
Fж = C0000 ⊕ C1000∧X ⊕ C0100∧Y ⊕ C0010∧Z ⊕ C0001∧P ⊕ C1100∧X∧Y ⊕ C1010∧X∧Z ⊕ C1001∧X∧P ⊕ C0110∧Y∧Z ⊕ C0101∧Y∧P ⊕ C0011∧Z∧P ⊕ C1110∧X∧Y∧Z ⊕ C1101∧X∧Y∧P ⊕ C1011∧X∧Z∧P ⊕ C0111∧Y∧Z∧P ⊕ C1111∧X∧Y∧Z∧P

Так как Fж(0000) = 1, то С0000 = 1.

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(1000) = С0000 ⊕ С1000 = 1 => С1000 = 1 ⊕ 1 = 0
Fж(0100) = С0000 ⊕ С0100 = 1 => С0100 = 1 ⊕ 1 = 0
Fж(0010) = С0000 ⊕ С0010 = 1 => С0010 = 1 ⊕ 1 = 0
Fж(0001) = С0000 ⊕ С0001 = 0 => С0001 = 1 ⊕ 0 = 1
Fж(1100) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С1100 = 1 => С1100 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(1010) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С1010 = 0 => С1010 = 1 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(1001) = С0000 ⊕ С1000 ⊕ С0001 ⊕ С1001 = 1 => С1001 = 1 ⊕ 0 ⊕ 1 ⊕ 1 = 1
Fж(0110) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0110 = 1 => С0110 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(0101) = С0000 ⊕ С0100 ⊕ С0001 ⊕ С0101 = 0 => С0101 = 1 ⊕ 0 ⊕ 1 ⊕ 0 = 0
Fж(0011) = С0000 ⊕ С0010 ⊕ С0001 ⊕ С0011 = 1 => С0011 = 1 ⊕ 0 ⊕ 1 ⊕ 1 = 1
Fж(1110) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С1100 ⊕ С1010 ⊕ С0110 ⊕ С1110 = 1 => С1110 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 = 1
Fж(1101) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0001 ⊕ С1100 ⊕ С1001 ⊕ С0101 ⊕ С1101 = 1 => С1101 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(1011) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С0001 ⊕ С1010 ⊕ С1001 ⊕ С0011 ⊕ С1011 = 0 => С1011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 0 = 1
Fж(0111) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С0111 = 1 => С0111 = 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(1111) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С1100 ⊕ С1010 ⊕ С1001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С1110 ⊕ С1101 ⊕ С1011 ⊕ С0111 ⊕ С1111 = 1 => С1111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0

Таким образом, полином Жегалкина будет равен:
Fж = 1 ⊕ P ⊕ X∧Z ⊕ X∧P ⊕ Z∧P ⊕ X∧Y∧Z ⊕ X∧Z∧P
Логическая схема, соответствующая полиному Жегалкина:

Наши друзья

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

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

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

Рейтинг@Mail.ru

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