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


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

¬Y:
Y¬Y
01
10

(¬X)∧Z:
XZ¬X(¬X)∧Z
0010
0111
1000
1100

(¬Y)∧Z:
YZ¬Y(¬Y)∧Z
0010
0111
1000
1100

((¬X)∧Z)∧Y:
XZY¬X(¬X)∧Z((¬X)∧Z)∧Y
000100
001100
010110
011111
100000
101000
110000
111000

((¬X)∧Z)∧P:
XZP¬X(¬X)∧Z((¬X)∧Z)∧P
000100
001100
010110
011111
100000
101000
110000
111000

((¬Y)∧Z)∧P:
YZP¬Y(¬Y)∧Z((¬Y)∧Z)∧P
000100
001100
010110
011111
100000
101000
110000
111000

(((¬Y)∧Z)∧P)∧(¬X):
YZPX¬Y(¬Y)∧Z((¬Y)∧Z)∧P¬X(((¬Y)∧Z)∧P)∧(¬X)
000010010
000110000
001010010
001110000
010011010
010111000
011011111
011111100
100000010
100100000
101000010
101100000
110000010
110100000
111000010
111100000

((((¬Y)∧Z)∧P)∧(¬X))∧Y:
YZPX¬Y(¬Y)∧Z((¬Y)∧Z)∧P¬X(((¬Y)∧Z)∧P)∧(¬X)((((¬Y)∧Z)∧P)∧(¬X))∧Y
0000100100
0001100000
0010100100
0011100000
0100110100
0101110000
0110111110
0111111000
1000000100
1001000000
1010000100
1011000000
1100000100
1101000000
1110000100
1111000000

(((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z:
YZPX¬Y(¬Y)∧Z((¬Y)∧Z)∧P¬X(((¬Y)∧Z)∧P)∧(¬X)((((¬Y)∧Z)∧P)∧(¬X))∧Y(((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z
00001001000
00011000000
00101001000
00111000000
01001101000
01011100000
01101111100
01111110000
10000001000
10010000000
10100001000
10110000000
11000001000
11010000000
11100001000
11110000000

(¬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)∧Z)∨((¬Y)∧Z):
XZY¬X(¬X)∧Z¬Y(¬Y)∧Z((¬X)∧Z)∨((¬Y)∧Z)
00010100
00110000
01011111
01111001
10000100
10100000
11000111
11100000

(((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y):
XZY¬X(¬X)∧Z¬Y(¬Y)∧Z((¬X)∧Z)∨((¬Y)∧Z)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y)
000101001000
001100001000
010111111101
011110011111
100001000000
101000000000
110001110001
111000000000

((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P):
XZYP¬X(¬X)∧Z¬Y(¬Y)∧Z((¬X)∧Z)∨((¬Y)∧Z)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)
00001010010001000
00011010010001000
00101000010001000
00111000010001000
01001111111011101
01011111111011111
01101100111111101
01111100111111111
10000010000000000
10010010000000000
10100000000000000
10110000000000000
11000011100010001
11010011100010001
11100000000000000
11110000000000000

(((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z):
XZYP¬X(¬X)∧Z¬Y(¬Y)∧Z((¬X)∧Z)∨((¬Y)∧Z)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)¬Y(¬Y)∧Z((¬Y)∧Z)∧P¬X(((¬Y)∧Z)∧P)∧(¬X)((((¬Y)∧Z)∧P)∧(¬X))∧Y(((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z(((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z)
0000101001000100010010000
0001101001000100010010000
0010100001000100000010000
0011100001000100000010000
0100111111101110111010001
0101111111101111111111001
0110110011111110100010001
0111110011111111100010001
1000001000000000010000000
1001001000000000010000000
1010000000000000000000000
1011000000000000000000000
1100001110001000111000001
1101001110001000111100001
1110000000000000000000000
1111000000000000000000000

((((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z))∨((¬X)∧Y):
XZYP¬X(¬X)∧Z¬Y(¬Y)∧Z((¬X)∧Z)∨((¬Y)∧Z)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)¬Y(¬Y)∧Z((¬Y)∧Z)∧P¬X(((¬Y)∧Z)∧P)∧(¬X)((((¬Y)∧Z)∧P)∧(¬X))∧Y(((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z(((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z)¬X(¬X)∧Y((((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z))∨((¬X)∧Y)
0000101001000100010010000100
0001101001000100010010000100
0010100001000100000010000111
0011100001000100000010000111
0100111111101110111010001101
0101111111101111111111001101
0110110011111110100010001111
0111110011111111100010001111
1000001000000000010000000000
1001001000000000010000000000
1010000000000000000000000000
1011000000000000000000000000
1100001110001000111000001001
1101001110001000111100001001
1110000000000000000000000000
1111000000000000000000000000

(((((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P):
XZYP¬X(¬X)∧Z¬Y(¬Y)∧Z((¬X)∧Z)∨((¬Y)∧Z)¬X(¬X)∧Z((¬X)∧Z)∧Y(((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)¬Y(¬Y)∧Z((¬Y)∧Z)∧P¬X(((¬Y)∧Z)∧P)∧(¬X)((((¬Y)∧Z)∧P)∧(¬X))∧Y(((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z(((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z)¬X(¬X)∧Y((((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z))∨((¬X)∧Y)¬X(¬X)∧Y((¬X)∧Y)∧P(((((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P)
00001010010001000100100001001000
00011010010001000100100001001000
00101000010001000000100001111101
00111000010001000000100001111111
01001111111011101110100011011001
01011111111011111111110011011001
01101100111111101000100011111101
01111100111111111000100011111111
10000010000000000100000000000000
10010010000000000100000000000000
10100000000000000000000000000000
10110000000000000000000000000000
11000011100010001110000010010001
11010011100010001111000010010001
11100000000000000000000000000000
11110000000000000000000000000000

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

XZYP¬X¬Y(¬X)∧Z(¬Y)∧Z((¬X)∧Z)∧Y((¬X)∧Z)∧P((¬Y)∧Z)∧P(((¬Y)∧Z)∧P)∧(¬X)((((¬Y)∧Z)∧P)∧(¬X))∧Y(((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z(¬X)∧Y((¬X)∧Y)∧P((¬X)∧Z)∨((¬Y)∧Z)(((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y)((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)(((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z)((((((¬X)∧Z)∨((¬Y)∧Z))∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨((((((¬Y)∧Z)∧P)∧(¬X))∧Y)∧Z))∨((¬X)∧Y)¬X∧Z∨¬Y∧Z∨¬X∧Z∧Y∨¬X∧Z∧P∨¬Y∧Z∧P∧¬X∧Y∧Z∨¬X∧Y∨¬X∧Y∧P
0000110000000000000000
0001110000000000000000
0010100000000010000011
0011100000000011000011
0100111100000000111111
0101111101110000111111
0110101010000010111111
0111101011000011111111
1000010000000000000000
1001010000000000000000
1010000000000000000000
1011000000000000000000
1100010100000000111111
1101010100100000111111
1110000000000000000000
1111000000000000000000


Наши друзья

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

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

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

Рейтинг@Mail.ru

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