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


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

¬Z:
Z¬Z
01
10

¬Y:
Y¬Y
01
10

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¬P((X∧Y)∧Z)∧(¬P)
00000010
00010000
00100010
00110000
01000010
01010000
01100010
01110000
10000010
10010000
10100010
10110000
11001010
11011000
11101111
11111100

Y∧(¬Z):
YZ¬ZY∧(¬Z)
0010
0100
1011
1100

(Y∧(¬Z))∧P:
YZP¬ZY∧(¬Z)(Y∧(¬Z))∧P
000100
001100
010000
011000
100110
101111
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

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

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

(((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P):
XYZPX∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)¬ZY∧(¬Z)(Y∧(¬Z))∧P(((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P)
000000101000
000100001000
001000100000
001100000000
010000101100
010100001111
011000100000
011100000000
100000101000
100100001000
101000100000
101100000000
110010101100
110110001111
111011110001
111111000000

((((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P))∨(((¬Y)∧Z)∧P):
XYZPX∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)¬ZY∧(¬Z)(Y∧(¬Z))∧P(((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P)¬Y(¬Y)∧Z((¬Y)∧Z)∧P((((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P))∨(((¬Y)∧Z)∧P)
0000001010001000
0001000010001000
0010001000001100
0011000000001111
0100001011000000
0101000011110001
0110001000000000
0111000000000000
1000001010001000
1001000010001000
1010001000001100
1011000000001111
1100101011000000
1101100011110001
1110111100010001
1111110000000000

(((((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P))∨(((¬Y)∧Z)∧P))∨(((¬Y)∧(¬Z))∧(¬P)):
XYZPX∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)¬ZY∧(¬Z)(Y∧(¬Z))∧P(((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P)¬Y(¬Y)∧Z((¬Y)∧Z)∧P((((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P))∨(((¬Y)∧Z)∧P)¬Y¬Z(¬Y)∧(¬Z)¬P((¬Y)∧(¬Z))∧(¬P)(((((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P))∨(((¬Y)∧Z)∧P))∨(((¬Y)∧(¬Z))∧(¬P))
0000001010001000111111
0001000010001000111000
0010001000001100100100
0011000000001111100001
0100001011000000010100
0101000011110001010001
0110001000000000000100
0111000000000000000000
1000001010001000111111
1001000010001000111000
1010001000001100100100
1011000000001111100001
1100101011000000010100
1101100011110001010001
1110111100010001000101
1111110000000000000000

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

XYZP¬P¬Z¬YX∧Y(X∧Y)∧Z((X∧Y)∧Z)∧(¬P)Y∧(¬Z)(Y∧(¬Z))∧P(¬Y)∧Z((¬Y)∧Z)∧P(¬Y)∧(¬Z)((¬Y)∧(¬Z))∧(¬P)(((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P)((((X∧Y)∧Z)∧(¬P))∨((Y∧(¬Z))∧P))∨(((¬Y)∧Z)∧P)X∧Y∧Z∧¬P∨Y∧¬Z∧P∨¬Y∧Z∧P∨¬Y∧¬Z∧¬P
0000111000000011001
0001011000000010000
0010101000001000000
0011001000001100011
0100110000100000000
0101010000110000111
0110100000000000000
0111000000000000000
1000111000000011001
1001011000000010000
1010101000001000000
1011001000001100011
1100110100100000000
1101010100110000111
1110100111000000111
1111000110000000000


Наши друзья

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

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

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

Рейтинг@Mail.ru

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