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


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

¬Y:
Y¬Y
01
10

¬P:
P¬P
01
10

(¬X)∨(¬Y):
XY¬X¬Y(¬X)∨(¬Y)
00111
01101
10011
11000

((¬X)∨(¬Y))∨Z:
XYZ¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z
0001111
0011111
0101011
0111011
1000111
1010111
1100000
1110001

(((¬X)∨(¬Y))∨Z)∨(¬P):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z¬P(((¬X)∨(¬Y))∨Z)∨(¬P)
0000111111
0001111101
0010111111
0011111101
0100101111
0101101101
0110101111
0111101101
1000011111
1001011101
1010011111
1011011101
1100000011
1101000000
1110000111
1111000101

X∨P:
XPX∨P
000
011
101
111

¬Z:
Z¬Z
01
10

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

Y∧P:
YPY∧P
000
010
100
111

(¬Z)∧P:
ZP¬Z(¬Z)∧P
0010
0111
1000
1100

(Y∧(¬Z))∨(Y∧P):
YZP¬ZY∧(¬Z)Y∧P(Y∧(¬Z))∨(Y∧P)
0001000
0011000
0100000
0110000
1001101
1011111
1100000
1110011

((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P):
YZP¬ZY∧(¬Z)Y∧P(Y∧(¬Z))∨(Y∧P)¬Z(¬Z)∧P((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P)
0001000100
0011000111
0100000000
0110000000
1001101101
1011111111
1100000000
1110011001

(((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P))∨P:
YZP¬ZY∧(¬Z)Y∧P(Y∧(¬Z))∨(Y∧P)¬Z(¬Z)∧P((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P)(((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P))∨P
00010001000
00110001111
01000000000
01100000001
10011011011
10111111111
11000000000
11100110011

((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z¬P(((¬X)∨(¬Y))∨Z)∨(¬P)X∨P((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P)
000011111100
000111110111
001011111100
001111110111
010010111100
010110110111
011010111100
011110110111
100001111111
100101110111
101001111111
101101110111
110000001111
110100000010
111000011111
111100010111

(((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∨((((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P))∨P):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z¬P(((¬X)∨(¬Y))∨Z)∨(¬P)X∨P((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P)¬ZY∧(¬Z)Y∧P(Y∧(¬Z))∨(Y∧P)¬Z(¬Z)∧P((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P)(((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P))∨P(((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∨((((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P))∨P)
000011111100100010000
000111110111100011111
001011111100000000000
001111110111000000011
010010111100110110111
010110110111111111111
011010111100000000000
011110110111001100111
100001111111100010001
100101110111100011111
101001111111000000001
101101110111000000011
110000001111110110111
110100000010111111111
111000011111000000001
111100010111001100111

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

XYZP¬X¬Y¬P(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)∨(¬P)X∨P¬ZY∧(¬Z)Y∧P(¬Z)∧P(Y∧(¬Z))∨(Y∧P)((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P)(((Y∧(¬Z))∨(Y∧P))∨((¬Z)∧P))∨P((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P)(¬X∨¬Y∨Z∨¬P)∧(X∨P)∨(Y∧¬Z∨Y∧P∨¬Z∧P∨P)
00001111110100000000
00011101111100101111
00101111110000000000
00111101111000000111
01001011110110011101
01011001111111111111
01101011110000000000
01111001111001011111
10000111111100000011
10010101111100101111
10100111111000000011
10110101111000000111
11000010011110011111
11010000001111111101
11100010111000000011
11110000111001011111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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