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


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

¬Y:
Y¬Y
01
10

¬P:
P¬P
01
10

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

X∧(¬Y):
XY¬YX∧(¬Y)
0010
0100
1011
1100

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

X∧Z:
XZX∧Z
000
010
100
111

Z∧P:
ZPZ∧P
000
010
100
111

X∧(¬P):
XP¬PX∧(¬P)
0010
0100
1011
1100

((¬X)∧P)∨(X∧(¬Y)):
XPY¬X(¬X)∧P¬YX∧(¬Y)((¬X)∧P)∨(X∧(¬Y))
00010100
00110000
01011101
01111001
10000111
10100000
11000111
11100000

(((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P):
XPY¬X(¬X)∧P¬YX∧(¬Y)((¬X)∧P)∨(X∧(¬Y))¬Y(¬Y)∧P(((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P)
00010100100
00110000000
01011101111
01111001001
10000111101
10100000000
11000111111
11100000000

((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z):
XPYZ¬X(¬X)∧P¬YX∧(¬Y)((¬X)∧P)∨(X∧(¬Y))¬Y(¬Y)∧P(((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P)X∧Z((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z)
00001010010000
00011010010000
00101000000000
00111000000000
01001110111101
01011110111101
01101100100101
01111100100101
10000011110101
10010011110111
10100000000000
10110000000011
11000011111101
11010011111111
11100000000000
11110000000011

(((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P):
XPYZ¬X(¬X)∧P¬YX∧(¬Y)((¬X)∧P)∨(X∧(¬Y))¬Y(¬Y)∧P(((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P)X∧Z((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z)Z∧P(((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P)
0000101001000000
0001101001000000
0010100000000000
0011100000000000
0100111011110101
0101111011110111
0110110010010101
0111110010010111
1000001111010101
1001001111011101
1010000000000000
1011000000001101
1100001111110101
1101001111111111
1110000000000000
1111000000001111

((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P)):
XPYZ¬X(¬X)∧P¬YX∧(¬Y)((¬X)∧P)∨(X∧(¬Y))¬Y(¬Y)∧P(((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P)X∧Z((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z)Z∧P(((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P)¬PX∧(¬P)((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P))
0000101001000000100
0001101001000000100
0010100000000000100
0011100000000000100
0100111011110101001
0101111011110111001
0110110010010101001
0111110010010111001
1000001111010101111
1001001111011101111
1010000000000000111
1011000000001101111
1100001111110101001
1101001111111111001
1110000000000000000
1111000000001111001

Y∨P:
YPY∨P
000
011
101
111

¬Z:
Z¬Z
01
10

(¬Z)∨P:
ZP¬Z(¬Z)∨P
0011
0111
1000
1101

(((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P)))∧(Y∨P):
XPYZ¬X(¬X)∧P¬YX∧(¬Y)((¬X)∧P)∨(X∧(¬Y))¬Y(¬Y)∧P(((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P)X∧Z((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z)Z∧P(((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P)¬PX∧(¬P)((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P))Y∨P(((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P)))∧(Y∨P)
000010100100000010000
000110100100000010000
001010000000000010010
001110000000000010010
010011101111010100111
010111101111011100111
011011001001010100111
011111001001011100111
100000111101010111100
100100111101110111100
101000000000000011111
101100000000110111111
110000111111010100111
110100111111111100111
111000000000000000010
111100000000111100111

((((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P)))∧(Y∨P))∧((¬Z)∨P):
XPYZ¬X(¬X)∧P¬YX∧(¬Y)((¬X)∧P)∨(X∧(¬Y))¬Y(¬Y)∧P(((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P)X∧Z((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z)Z∧P(((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P)¬PX∧(¬P)((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P))Y∨P(((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P)))∧(Y∨P)¬Z(¬Z)∨P((((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P)))∧(Y∨P))∧((¬Z)∨P)
000010100100000010000110
000110100100000010000000
001010000000000010010110
001110000000000010010000
010011101111010100111111
010111101111011100111011
011011001001010100111111
011111001001011100111011
100000111101010111100110
100100111101110111100000
101000000000000011111111
101100000000110111111000
110000111111010100111111
110100111111111100111011
111000000000000000010110
111100000000111100111011

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

XPYZ¬X¬Y¬P(¬X)∧PX∧(¬Y)(¬Y)∧PX∧ZZ∧PX∧(¬P)((¬X)∧P)∨(X∧(¬Y))(((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P)((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z)(((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P)((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P))Y∨P¬Z(¬Z)∨P(((((((¬X)∧P)∨(X∧(¬Y)))∨((¬Y)∧P))∨(X∧Z))∨(Z∧P))∨(X∧(¬P)))∧(Y∨P)(¬X∧P∨X∧¬Y∨¬Y∧P∨X∧Z∨Z∧P∨X∧¬P)∧(Y∨P)∧(¬Z∨P)
00001110000000000001100
00011110000000000000000
00101010000000000011100
00111010000000000010000
01001101010001111111111
01011101010101111110111
01101001000001111111111
01111001000101111110111
10000110100011111101100
10010110101011111100000
10100010000010000111111
10110010001010011110010
11000100110001111111111
11010100111101111110111
11100000000000000011100
11110000001100011110111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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