Для функции ¬X∧Z∨¬X∧Z∧P∨¬X∧Z∧Y∨¬X∧Y∧Z∧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)∧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

(¬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)∧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)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Y)∧Z)∧P)
0000101000100010000
0001101000100011000
0010101000100010000
0011101000100011000
0100111101110110001
0101111101111111101
0110111111110110001
0111111111111111111
1000000000000000000
1001000000000000000
1010000000000000000
1011000000000000000
1100000000000000000
1101000000000000000
1110000000000000000
1111000000000000000

(((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Y)∧Z)∧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)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Y)∧Z)∧P)¬Y(¬Y)∧Z(((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Y)∧Z)∧P))∨((¬Y)∧Z)
0000101000100010000100
0001101000100011000000
0010101000100010000100
0011101000100011000000
0100111101110110001111
0101111101111111101001
0110111111110110001111
0111111111111111111001
1000000000000000000100
1001000000000000000000
1010000000000000000100
1011000000000000000000
1100000000000000000111
1101000000000000000000
1110000000000000000111
1111000000000000000000

((((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Y)∧Z)∧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)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Y)∧Z)∧P)¬Y(¬Y)∧Z(((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Y)∧Z)∧P))∨((¬Y)∧Z)¬Y(¬Y)∧Z((¬Y)∧Z)∧P((((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Y)∧Z)∧P))∨((¬Y)∧Z))∨(((¬Y)∧Z)∧P)
00001010001000100001001000
00011010001000110000000000
00101010001000100001001000
00111010001000110000000000
01001111011101100011111101
01011111011111111010010001
01101111111101100011111111
01111111111111111110010001
10000000000000000001001000
10010000000000000000000000
10100000000000000001001000
10110000000000000000000000
11000000000000000001111101
11010000000000000000000000
11100000000000000001111111
11110000000000000000000000

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

XZPY¬X¬Y(¬X)∧Z((¬X)∧Z)∧P((¬X)∧Z)∧Y(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧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)∧Y)∧Z)∧P)(((((¬X)∧Z)∨(((¬X)∧Z)∧P))∨(((¬X)∧Z)∧Y))∨((((¬X)∧Y)∧Z)∧P))∨((¬Y)∧Z)¬X∧Z∨¬X∧Z∧P∨¬X∧Z∧Y∨¬X∧Y∧Z∧P∨¬Y∧Z∨¬Y∧Z∧P
0000110000000000000
0001100001000000000
0010110000000000000
0011100001000000000
0100111000001011111
0101101011100011111
0110111100001111111
0111101111110011111
1000010000000000000
1001000000000000000
1010010000000000000
1011000000000000000
1100010000001000011
1101000000000000000
1110010000001100011
1111000000000000000


Наши друзья

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

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

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

Рейтинг@Mail.ru

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