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


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

¬Y:
Y¬Y
01
10

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

(¬X)∧Y:
XY¬X(¬X)∧Y
0010
0111
1000
1100

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

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

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

((¬X)∧Z)∨((¬X)∧Y):
XZY¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Z)∨((¬X)∧Y)
00010100
00110111
01011101
01111111
10000000
10100000
11000000
11100000

(((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z):
XZY¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Z)∨((¬X)∧Y)¬Y(¬Y)∧Z(((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z)
00010100100
00110111001
01011101111
01111111001
10000000100
10100000000
11000000111
11100000000

((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P):
XZYP¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Z)∨((¬X)∧Y)¬Y(¬Y)∧Z(((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P)
0000101001001000
0001101001001000
0010101110011001
0011101110011001
0100111011111101
0101111011111111
0110111110011101
0111111110011111
1000000001000000
1001000001000000
1010000000000000
1011000000000000
1100000001110001
1101000001110001
1110000000000000
1111000000000000

(((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P):
XZYP¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Z)∨((¬X)∧Y)¬Y(¬Y)∧Z(((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧P(((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)
00001010010010001000
00011010010010001000
00101011100110011101
00111011100110011111
01001110111111011001
01011110111111111001
01101111100111011101
01111111100111111111
10000000010000000000
10010000010000000000
10100000000000000000
10110000000000000000
11000000011100010001
11010000011100010001
11100000000000000000
11110000000000000000

((((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P):
XZYP¬X(¬X)∧Z¬X(¬X)∧Y((¬X)∧Z)∨((¬X)∧Y)¬Y(¬Y)∧Z(((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z)¬X(¬X)∧Z((¬X)∧Z)∧P((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧P(((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)¬Y(¬Y)∧Z((¬Y)∧Z)∧P((((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P)
000010100100100010001000
000110100100100010001000
001010111001100111010001
001110111001100111110001
010011101111110110011101
010111101111111110011111
011011111001110111010001
011111111001111111110001
100000000100000000001000
100100000100000000001000
101000000000000000000000
101100000000000000000000
110000000111000100011101
110100000111000100011111
111000000000000000000000
111100000000000000000000

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

XZYP¬X¬Y(¬X)∧Z(¬X)∧Y(¬Y)∧Z((¬X)∧Z)∧P((¬X)∧Y)∧P((¬Y)∧Z)∧P((¬X)∧Z)∨((¬X)∧Y)(((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z)((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P)(((((¬X)∧Z)∨((¬X)∧Y))∨((¬Y)∧Z))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)¬X∧Z∨¬X∧Y∨¬Y∧Z∨¬X∧Z∧P∨¬X∧Y∧P∨¬Y∧Z∧P
00001100000000000
00011100000000000
00101001000011111
00111001001011111
01001110100011111
01011110110111111
01101011000011111
01111011011011111
10000100000000000
10010100000000000
10100000000000000
10110000000000000
11000100100001111
11010100100101111
11100000000000000
11110000000000000


Наши друзья

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

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

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

Рейтинг@Mail.ru

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