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


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

¬Y:
Y¬Y
01
10

(¬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)∧Z)∧Y:
XZY¬X(¬X)∧Z((¬X)∧Z)∧Y
000100
001100
010110
011111
100000
101000
110000
111000

(((¬X)∧Z)∧Y)∧P:
XZYP¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∧Y)∧P
00001000
00011000
00101000
00111000
01001100
01011100
01101110
01111111
10000000
10010000
10100000
10110000
11000000
11010000
11100000
11110000

(¬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)∨(((¬X)∧Z)∧P):
XZP¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧P((¬X)∧Z)∨(((¬X)∧Z)∧P)
000101000
001101000
010111101
011111111
100000000
101000000
110000000
111000000

(((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y):
XZPY¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧P((¬X)∧Z)∨(((¬X)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y)
00001010001000
00011010001000
00101010001000
00111010001000
01001111011101
01011111011111
01101111111101
01111111111111
10000000000000
10010000000000
10100000000000
10110000000000
11000000000000
11010000000000
11100000000000
11110000000000

((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P):
XZPY¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧P((¬X)∧Z)∨(((¬X)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∧Y)∧P((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P)
0000101000100010000
0001101000100010000
0010101000100010000
0011101000100010000
0100111101110111001
0101111101111111101
0110111111110111001
0111111111111111111
1000000000000000000
1001000000000000000
1010000000000000000
1011000000000000000
1100000000000000000
1101000000000000000
1110000000000000000
1111000000000000000

(((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P))∨((¬Y)∧Z):
XZPY¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧P((¬X)∧Z)∨(((¬X)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∧Y)∧P((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P)¬Y(¬Y)∧Z(((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P))∨((¬Y)∧Z)
0000101000100010000100
0001101000100010000000
0010101000100010000100
0011101000100010000000
0100111101110111001111
0101111101111111101001
0110111111110111001111
0111111111111111111001
1000000000000000000100
1001000000000000000000
1010000000000000000100
1011000000000000000000
1100000000000000000111
1101000000000000000000
1110000000000000000111
1111000000000000000000

((((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P))∨((¬Y)∧Z))∨(((¬Y)∧Z)∧P):
XZPY¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧P((¬X)∧Z)∨(((¬X)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∧Y)∧P((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P)¬Y(¬Y)∧Z(((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P))∨((¬Y)∧Z)¬Y(¬Y)∧Z((¬Y)∧Z)∧P((((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P))∨((¬Y)∧Z))∨(((¬Y)∧Z)∧P)
00001010001000100001001000
00011010001000100000000000
00101010001000100001001000
00111010001000100000000000
01001111011101110011111101
01011111011111111010010001
01101111111101110011111111
01111111111111111110010001
10000000000000000001001000
10010000000000000000000000
10100000000000000001001000
10110000000000000000000000
11000000000000000001111101
11010000000000000000000000
11100000000000000001111111
11110000000000000000000000

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

XZPY¬X¬Y(¬X)∧Z((¬X)∧Z)∧P((¬X)∧Z)∧Y(((¬X)∧Z)∧Y)∧P(¬Y)∧Z((¬Y)∧Z)∧P((¬X)∧Z)∨(((¬X)∧Z)∧P)(((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y)((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P)(((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Z)∧Y)∧P))∨((¬Y)∧Z)¬X∧Z∨¬X∧Z∧P∨¬X∧Z∧Y∨¬X∧Z∧Y∧P∨¬Y∧Z∨¬Y∧Z∧P
00001100000000000
00011000000000000
00101100000000000
00111000000000000
01001110001011111
01011010100011111
01101111001111111
01111011110011111
10000100000000000
10010000000000000
10100100000000000
10110000000000000
11000100001000011
11010000000000000
11100100001100011
11110000000000000


Наши друзья

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

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

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

Рейтинг@Mail.ru

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