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

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

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

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

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

((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z):
XZYP¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧Y((¬X)∧Z)∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P(((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z)
000010100010001000
000110100010001000
001010100010001100
001110100010001100
010011110111011001
010111110111111001
011011111111011111
011111111111111111
100000000000000000
100100000000000000
101000000000000000
101100000000000000
110000000000000000
110100000000000000
111000000000000000
111100000000000000

(((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y):
XZYP¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧Y((¬X)∧Z)∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P(((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z)¬X(¬X)∧Y(((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y)
000010100010001000100
000110100010001000100
001010100010001100111
001110100010001100111
010011110111011001101
010111110111111001101
011011111111011111111
011111111111111111111
100000000000000000000
100100000000000000000
101000000000000000000
101100000000000000000
110000000000000000000
110100000000000000000
111000000000000000000
111100000000000000000

((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P):
XZYP¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧Y((¬X)∧Z)∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P(((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z)¬X(¬X)∧Y(((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y)¬X(¬X)∧Y((¬X)∧Y)∧P((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P)
0000101000100010001001000
0001101000100010001001000
0010101000100011001111101
0011101000100011001111111
0100111101110110011011001
0101111101111110011011001
0110111111110111111111101
0111111111111111111111111
1000000000000000000000000
1001000000000000000000000
1010000000000000000000000
1011000000000000000000000
1100000000000000000000000
1101000000000000000000000
1110000000000000000000000
1111000000000000000000000

(((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P))∨(Z∧(¬Y)):
XZYP¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧Y((¬X)∧Z)∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P(((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z)¬X(¬X)∧Y(((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y)¬X(¬X)∧Y((¬X)∧Y)∧P((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P)¬YZ∧(¬Y)(((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P))∨(Z∧(¬Y))
0000101000100010001001000100
0001101000100010001001000100
0010101000100011001111101001
0011101000100011001111111001
0100111101110110011011001111
0101111101111110011011001111
0110111111110111111111101001
0111111111111111111111111001
1000000000000000000000000100
1001000000000000000000000100
1010000000000000000000000000
1011000000000000000000000000
1100000000000000000000000111
1101000000000000000000000111
1110000000000000000000000000
1111000000000000000000000000

((((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P))∨(Z∧(¬Y)))∨(((¬Y)∧Z)∧P):
XZYP¬X(¬X)∧Z¬X(¬X)∧Z((¬X)∧Z)∧Y((¬X)∧Z)∨(((¬X)∧Z)∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P(((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z)¬X(¬X)∧Y(((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y)¬X(¬X)∧Y((¬X)∧Y)∧P((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P)¬YZ∧(¬Y)(((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P))∨(Z∧(¬Y))¬Y(¬Y)∧Z((¬Y)∧Z)∧P((((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P))∨(Z∧(¬Y)))∨(((¬Y)∧Z)∧P)
00001010001000100010010001001000
00011010001000100010010001001000
00101010001000110011111010010001
00111010001000110011111110010001
01001111011101100110110011111101
01011111011111100110110011111111
01101111111101111111111010010001
01111111111111111111111110010001
10000000000000000000000001001000
10010000000000000000000001001000
10100000000000000000000000000000
10110000000000000000000000000000
11000000000000000000000001111101
11010000000000000000000001111111
11100000000000000000000000000000
11110000000000000000000000000000

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

XZYP¬X¬Y(¬X)∧Z((¬X)∧Z)∧Y((¬X)∧Z)∧P(¬X)∧Y((¬X)∧Y)∧Z((¬X)∧Y)∧PZ∧(¬Y)(¬Y)∧Z((¬Y)∧Z)∧P((¬X)∧Z)∨(((¬X)∧Z)∧Y)(((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P)((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z)(((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y)((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P)(((((((¬X)∧Z)∨(((¬X)∧Z)∧Y))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧Z))∨((¬X)∧Y))∨(((¬X)∧Y)∧P))∨(Z∧(¬Y))¬X∧Z∨¬X∧Z∧Y∨¬X∧Z∧P∨¬X∧Y∧Z∨¬X∧Y∨¬X∧Y∧P∨Z∧¬Y∨¬Y∧Z∧P
0000110000000000000000
0001110000000000000000
0010100001000000001111
0011100001010000001111
0100111000001101111111
0101111010001111111111
0110101101100001111111
0111101111110001111111
1000010000000000000000
1001010000000000000000
1010000000000000000000
1011000000000000000000
1100010000001100000011
1101010000001110000011
1110000000000000000000
1111000000000000000000


Наши друзья

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

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

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

Рейтинг@Mail.ru

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