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


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

¬Y:
Y¬Y
01
10

¬Z:
Z¬Z
01
10

¬P:
P¬P
01
10

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

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

((¬Z)∧(¬Y))∧(¬P):
ZYP¬Z¬Y(¬Z)∧(¬Y)¬P((¬Z)∧(¬Y))∧(¬P)
00011111
00111100
01010010
01110000
10001010
10101000
11000010
11100000

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∧Y)∧Z:
XYZX∧Y(X∧Y)∧Z
00000
00100
01000
01100
10000
10100
11010
11111

((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))∨(((¬Z)∧(¬Y))∧(¬P)):
XYZP¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Z¬Y(¬Z)∧(¬Y)¬P((¬Z)∧(¬Y))∧(¬P)((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P))
00001111111111111
00011111100111000
00101110010010100
00111110000010000
01001001010100100
01011001000100000
01101000010000100
01111000000000000
10000101010111111
10010101000111000
10100100010010100
10110100000010000
11000001010100100
11010001000100000
11100000010000100
11110000000000000

(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P):
XYZP¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Z¬Y(¬Z)∧(¬Y)¬P((¬Z)∧(¬Y))∧(¬P)((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P))X∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P)
0000111111111111101001
0001111110011100001000
0010111001001010000000
0011111000001000000000
0100100101010010001000
0101100100010000001000
0110100001000010000000
0111100000000000000000
1000010101011111101001
1001010100011100001000
1010010001001010000000
1011010000001000000000
1100000101010010011100
1101000100010000011111
1110000001000010010000
1111000000000000010000

((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧(¬P)):
XYZP¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Z¬Y(¬Z)∧(¬Y)¬P((¬Z)∧(¬Y))∧(¬P)((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P))X∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P)X∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧(¬P))
000011111111111110100100101
000111111001110000100000000
001011100100101000000000100
001111100000100000000000000
010010010101001000100000100
010110010001000000100000000
011010000100001000000000100
011110000000000000000000000
100001010101111110100100101
100101010001110000100000000
101001000100101000000000100
101101000000100000000000000
110000010101001001110010100
110100010001000001111110001
111000000100001001000011111
111100000000000001000011000

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

((¬X)∧Z)∧P:
XZP¬X(¬X)∧Z((¬X)∧Z)∧P
000100
001100
010110
011111
100000
101000
110000
111000

((¬X)∧(¬Y))∧Z:
XYZ¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

(((¬X)∧(¬Y))∧Z)∧P:
XYZP¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P
000011100
000111100
001011110
001111111
010010000
010110000
011010000
011110000
100001000
100101000
101001000
101101000
110000000
110100000
111000000
111100000

(¬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(((¬X)∧Y)∧Z)∧P
00001000
00011000
00101000
00111000
01001100
01011100
01101110
01111111
10000000
10010000
10100000
10110000
11000000
11010000
11100000
11110000

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

(¬Y)∧Z:
YZ¬Y(¬Y)∧Z
0010
0111
1000
1100

((¬Y)∧Z)∧P:
YZP¬Y(¬Y)∧Z((¬Y)∧Z)∧P
000100
001100
010110
011111
100000
101000
110000
111000

(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)
0000100111000
0001100100000
0010100111000
0011100100000
0100110111100
0101110100000
0110111111111
0111111100001
1000000010000
1001000000000
1010000010000
1011000000000
1100000010000
1101000000000
1110000010000
1111000000000

((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)
000010011100010000
000110010000011000
001010011100010000
001110010000011000
010011011110010000
010111010000011100
011011111111110001
011111110000111111
100000001000000000
100100000000000000
101000001000000000
101100000000000000
110000001000000000
110100000000000000
111000001000000000
111100000000000000

(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧P(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P)
0000100111000100001000
0001100100000110001000
0010100111000100001000
0011100100000110001000
0100110111100100001100
0101110100000111001100
0110111111111100011111
0111111100001111111111
1000000010000000000000
1001000000000000000000
1010000010000000000000
1011000000000000000000
1100000010000000000000
1101000000000000000000
1110000010000000000000
1111000000000000000000

((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧P(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)
00001001110001000010001000
00011001000001100010001100
00101001110001000010001000
00111001000001100010001111
01001101111001000011001000
01011101000001110011001100
01101111111111000111111001
01111111000011111111111111
10000000100000000000000000
10010000000000000000000000
10100000100000000000000000
10110000000000000000000000
11000000100000000000000000
11010000000000000000000000
11100000100000000000000000
11110000000000000000000000

(((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧P(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)¬Y(¬Y)∧Z((¬Y)∧Z)∧P(((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P)
000010011100010000100010001000
000110010000011000100011000000
001010011100010000100010001000
001110010000011000100011110001
010011011110010000110010001100
010111010000011100110011000000
011011111111110001111110011111
011111110000111111111111110001
100000001000000000000000001000
100100000000000000000000000000
101000001000000000000000001000
101100000000000000000000000000
110000001000000000000000001100
110100000000000000000000000000
111000001000000000000000001111
111100000000000000000000000000

(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧(¬P)))∨((((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P)):
XYZP¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Z¬Y(¬Z)∧(¬Y)¬P((¬Z)∧(¬Y))∧(¬P)((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P))X∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P)X∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧(¬P))¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧P(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)¬Y(¬Y)∧Z((¬Y)∧Z)∧P(((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P)(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧(¬P)))∨((((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P))
000011111111111110100100101100111000100001000100010001
000111111001110000100000000100111000100001000100010000
001011100100101000000000100110111100100001100100011000
001111100000100000000000000111111111100011111100111111
010010010101001000100000100100100000110001000110000000
010110010001000000100000000100100000110001000111100011
011010000100001000000000100110100000111001100110000000
011110000000000000000000000111100001111111111111100011
100001010101111110100100101000010000000000000000010001
100101010001110000100000000000010000000000000000010000
101001000100101000000000100000010000000000000000011000
101101000000100000000000000000010000000000000000011111
110000010101001001110010100000000000000000000000000000
110100010001000001111110001000000000000000000000000001
111000000100001001000011111000000000000000000000000001
111100000000000001000011000000000000000000000000000000

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

XYZP¬X¬Y¬Z¬P(¬X)∧(¬Y)((¬X)∧(¬Y))∧(¬Z)(((¬X)∧(¬Y))∧(¬Z))∧(¬P)(¬Z)∧(¬Y)((¬Z)∧(¬Y))∧(¬P)X∧Y(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P(X∧Y)∧Z((X∧Y)∧Z)∧(¬P)((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P))(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P)((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∨(((¬Z)∧(¬Y))∧(¬P)))∨(((X∧Y)∧(¬Z))∧P))∨(((X∧Y)∧Z)∧(¬P))(¬X)∧Z((¬X)∧Z)∧P((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((¬X)∧Y)∧P(¬Y)∧Z((¬Y)∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P)((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)(((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P)(¬X∧¬Y∧¬Z∧¬P∨¬Z∧¬Y∧¬P∨X∧Y∧¬Z∧P∨X∧Y∧Z∧¬P)∨(¬X∧Z∧P∨¬X∧¬Y∧Z∧P∨¬X∧Y∧Z∧P∨¬X∧Z∧P∨¬X∧Y∧P∨¬Y∧Z∧P)
0000111111111000001110000000000000001
0001111011010000000000000000000000000
0010110110000000000001010000010000000
0011110010000000000001111000011111111
0100101100000000000000000100000000000
0101101000000000000000000100100000111
0110100100000000000001000110000000000
0111100000000000000001100111100111111
1000011100011000001110000000000000001
1001011000010000000000000000000000000
1010010100000000000000000000010000000
1011010000000000000000000000011000011
1100001100000110000000000000000000000
1101001000000111000110000000000000001
1110000100000100110010000000000000001
1111000000000100100000000000000000000


Наши друзья

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

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

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

Рейтинг@Mail.ru

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