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


Промежуточные таблицы истинности:
¬X:
X¬X
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:
XYX∧Y
000
010
100
111

(X∧Y)∧Z:
XYZX∧Y(X∧Y)∧Z
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

(X∧Y)∧(¬P):
XYPX∧Y¬P(X∧Y)∧(¬P)
000010
001000
010010
011000
100010
101000
110111
111100

(¬X)∧P:
XP¬X(¬X)∧P
0010
0111
1000
1100

X∧(¬Y):
XY¬YX∧(¬Y)
0010
0100
1011
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

(((¬X)∧Y)∧P)∨((X∧Y)∧Z):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧PX∧Y(X∧Y)∧Z(((¬X)∧Y)∧P)∨((X∧Y)∧Z)
0000100000
0001100000
0010100000
0011100000
0100110000
0101110000
0110111001
0111111001
1000000000
1001000000
1010000000
1011000000
1100000100
1101000111
1110000100
1111000111

((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧PX∧Y(X∧Y)∧Z(((¬X)∧Y)∧P)∨((X∧Y)∧Z)Y∧Z(Y∧Z)∧P((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P)
0000100000000
0001100000000
0010100000000
0011100000000
0100110000000
0101110000100
0110111001001
0111111001111
1000000000000
1001000000000
1010000000000
1011000000000
1100000100000
1101000111101
1110000100000
1111000111111

(((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧PX∧Y(X∧Y)∧Z(((¬X)∧Y)∧P)∨((X∧Y)∧Z)Y∧Z(Y∧Z)∧P((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P)X∧Y¬P(X∧Y)∧(¬P)(((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P))
00001000000000100
00011000000000100
00101000000000000
00111000000000000
01001100000000100
01011100001000100
01101110010010001
01111110011110001
10000000000000100
10010000000000100
10100000000000000
10110000000000000
11000001000001111
11010001111011111
11100001000001000
11110001111111001

((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧PX∧Y(X∧Y)∧Z(((¬X)∧Y)∧P)∨((X∧Y)∧Z)Y∧Z(Y∧Z)∧P((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P)X∧Y¬P(X∧Y)∧(¬P)(((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P))¬X(¬X)∧P((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P)
00001000000000100100
00011000000000100100
00101000000000000111
00111000000000000111
01001100000000100100
01011100001000100100
01101110010010001111
01111110011110001111
10000000000000100000
10010000000000100000
10100000000000000000
10110000000000000000
11000001000001111001
11010001111011111001
11100001000001000000
11110001111111001001

(((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧PX∧Y(X∧Y)∧Z(((¬X)∧Y)∧P)∨((X∧Y)∧Z)Y∧Z(Y∧Z)∧P((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P)X∧Y¬P(X∧Y)∧(¬P)(((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P))¬X(¬X)∧P((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P)¬YX∧(¬Y)(X∧(¬Y))∧P(((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P)
000010000000001001001000
000110000000001001001000
001010000000000001111001
001110000000000001111001
010011000000001001000000
010111000010001001000000
011011100100100011110001
011111100111100011110001
100000000000001000001100
100100000000001000001100
101000000000000000001111
101100000000000000001111
110000010000011110010001
110100011110111110010001
111000010000010000000000
111100011111110010010001

((((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧PX∧Y(X∧Y)∧Z(((¬X)∧Y)∧P)∨((X∧Y)∧Z)Y∧Z(Y∧Z)∧P((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P)X∧Y¬P(X∧Y)∧(¬P)(((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P))¬X(¬X)∧P((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P)¬YX∧(¬Y)(X∧(¬Y))∧P(((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P)¬Y(¬Y)∧P((((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P)
000010000000001001001000100
000110000000001001001000100
001010000000000001111001111
001110000000000001111001111
010011000000001001000000000
010111000010001001000000000
011011100100100011110001001
011111100111100011110001001
100000000000001000001100100
100100000000001000001100100
101000000000000000001111111
101100000000000000001111111
110000010000011110010001001
110100011110111110010001001
111000010000010000000000000
111100011111110010010001001

(((((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P))∨((X∧Z)∧P):
XYPZ¬X(¬X)∧Y((¬X)∧Y)∧PX∧Y(X∧Y)∧Z(((¬X)∧Y)∧P)∨((X∧Y)∧Z)Y∧Z(Y∧Z)∧P((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P)X∧Y¬P(X∧Y)∧(¬P)(((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P))¬X(¬X)∧P((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P)¬YX∧(¬Y)(X∧(¬Y))∧P(((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P)¬Y(¬Y)∧P((((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P)X∧Z(X∧Z)∧P(((((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P))∨((X∧Z)∧P)
000010000000001001001000100000
000110000000001001001000100000
001010000000000001111001111001
001110000000000001111001111001
010011000000001001000000000000
010111000010001001000000000000
011011100100100011110001001001
011111100111100011110001001001
100000000000001000001100100000
100100000000001000001100100100
101000000000000000001111111001
101100000000000000001111111111
110000010000011110010001001001
110100011110111110010001001101
111000010000010000000000000000
111100011111110010010001001111

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

XYPZ¬X¬P¬Y(¬X)∧Y((¬X)∧Y)∧PX∧Y(X∧Y)∧ZY∧Z(Y∧Z)∧P(X∧Y)∧(¬P)(¬X)∧PX∧(¬Y)(X∧(¬Y))∧P(¬Y)∧PX∧Z(X∧Z)∧P(((¬X)∧Y)∧P)∨((X∧Y)∧Z)((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P)(((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P))((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P)(((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P)((((((((¬X)∧Y)∧P)∨((X∧Y)∧Z))∨((Y∧Z)∧P))∨((X∧Y)∧(¬P)))∨((¬X)∧P))∨((X∧(¬Y))∧P))∨((¬Y)∧P)¬X∧Y∧P∨X∧Y∧Z∨Y∧Z∧P∨X∧Y∧¬P∨¬X∧P∨X∧¬Y∧P∨¬Y∧P∨X∧Z∧P
000011100000000000000000000
000111100000000000000000000
001010100000001001000001111
001110100000001001000001111
010011010000000000000000000
010111010001000000000000000
011010011000001000001111111
011110011001101000001111111
100001100000000100000000000
100101100000000100100000000
101000100000000111000000111
101100100000000111110000111
110001000100010000000011111
110101000111010000101111111
111000000100000000000000000
111100000111100000111111111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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