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


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

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

(¬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

Z∧Y:
ZYZ∧Y
000
010
100
111

((¬X)∧Z)∧P:
XZP¬X(¬X)∧Z((¬X)∧Z)∧P
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

(Z∧Y)∧P:
ZYPZ∧Y(Z∧Y)∧P
00000
00100
01000
01100
10000
10100
11010
11111

((¬X)∧Z)∨(((¬X)∧Y)∧Z):
XZY¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Y)∧Z((¬X)∧Z)∨(((¬X)∧Y)∧Z)
000101000
001101100
010111001
011111111
100000000
101000000
110000000
111000000

(((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y):
XZY¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Y)∧Z((¬X)∧Z)∨(((¬X)∧Y)∧Z)Z∧Y(((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y)
00010100000
00110110000
01011100101
01111111111
10000000000
10100000000
11000000000
11100000011

((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P):
XZYP¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Y)∧Z((¬X)∧Z)∨(((¬X)∧Y)∧Z)Z∧Y(((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P)
0000101000001000
0001101000001000
0010101100001000
0011101100001000
0100111001011101
0101111001011111
0110111111111101
0111111111111111
1000000000000000
1001000000000000
1010000000000000
1011000000000000
1100000000000000
1101000000000000
1110000000110001
1111000000110001

(((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P):
XZYP¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Y)∧Z((¬X)∧Z)∨(((¬X)∧Y)∧Z)Z∧Y(((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P(((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)
000010100000100010000
000110100000100010000
001010110000100011000
001110110000100011000
010011100101110110001
010111100101111110001
011011111111110111101
011111111111111111111
100000000000000000000
100100000000000000000
101000000000000000000
101100000000000000000
110000000000000000000
110100000000000000000
111000000011000100001
111100000011000100001

((((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨((Z∧Y)∧P):
XZYP¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Y)∧Z((¬X)∧Z)∨(((¬X)∧Y)∧Z)Z∧Y(((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P(((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)Z∧Y(Z∧Y)∧P((((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨((Z∧Y)∧P)
000010100000100010000000
000110100000100010000000
001010110000100011000000
001110110000100011000000
010011100101110110001001
010111100101111110001001
011011111111110111101101
011111111111111111111111
100000000000000000000000
100100000000000000000000
101000000000000000000000
101100000000000000000000
110000000000000000000000
110100000000000000000000
111000000011000100001101
111100000011000100001111

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

XZYP¬X(¬X)∧Z(¬X)∧Y((¬X)∧Y)∧ZZ∧Y((¬X)∧Z)∧P(((¬X)∧Y)∧Z)∧P(Z∧Y)∧P((¬X)∧Z)∨(((¬X)∧Y)∧Z)(((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y)((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P)(((((¬X)∧Z)∨(((¬X)∧Y)∧Z))∨(Z∧Y))∨(((¬X)∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)¬X∧Z∨¬X∧Y∧Z∨Z∧Y∨¬X∧Z∧P∨¬X∧Y∧Z∧P∨Z∧Y∧P
00001000000000000
00011000000000000
00101010000000000
00111010000000000
01001100000011111
01011100010011111
01101111100011111
01111111111111111
10000000000000000
10010000000000000
10100000000000000
10110000000000000
11000000000000000
11010000000000000
11100000100001111
11110000100101111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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