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


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

¬Y:
Y¬Y
01
10

¬Z:
Z¬Z
01
10

¬P:
P¬P
01
10

(¬X)∧P:
XP¬X(¬X)∧P
0010
0111
1000
1100

(¬Y)∧P:
YP¬Y(¬Y)∧P
0010
0111
1000
1100

Z∧P:
ZPZ∧P
000
010
100
111

X∧Y:
XYX∧Y
000
010
100
111

(X∧Y)∧(¬Z):
XYZX∧Y¬Z(X∧Y)∧(¬Z)
000010
001000
010010
011000
100010
101000
110111
111100

((X∧Y)∧(¬Z))∧(¬P):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)
000001010
000101000
001000010
001100000
010001010
010101000
011000010
011100000
100001010
100101000
101000010
101100000
110011111
110111100
111010010
111110000

((¬X)∧P)∨((¬Y)∧P):
XPY¬X(¬X)∧P¬Y(¬Y)∧P((¬X)∧P)∨((¬Y)∧P)
00010100
00110000
01011111
01111001
10000100
10100000
11000111
11100000

(((¬X)∧P)∨((¬Y)∧P))∨(Z∧P):
XPYZ¬X(¬X)∧P¬Y(¬Y)∧P((¬X)∧P)∨((¬Y)∧P)Z∧P(((¬X)∧P)∨((¬Y)∧P))∨(Z∧P)
00001010000
00011010000
00101000000
00111000000
01001111101
01011111111
01101100101
01111100111
10000010000
10010010000
10100000000
10110000000
11000011101
11010011111
11100000000
11110000011

((((¬X)∧P)∨((¬Y)∧P))∨(Z∧P))∨(((X∧Y)∧(¬Z))∧(¬P)):
XPYZ¬X(¬X)∧P¬Y(¬Y)∧P((¬X)∧P)∨((¬Y)∧P)Z∧P(((¬X)∧P)∨((¬Y)∧P))∨(Z∧P)X∧Y¬Z(X∧Y)∧(¬Z)¬P((X∧Y)∧(¬Z))∧(¬P)((((¬X)∧P)∨((¬Y)∧P))∨(Z∧P))∨(((X∧Y)∧(¬Z))∧(¬P))
00001010000010100
00011010000000100
00101000000010100
00111000000000100
01001111101010001
01011111111000001
01101100101010001
01111100111000001
10000010000010100
10010010000000100
10100000000111111
10110000000100100
11000011101010001
11010011111000001
11100000000111000
11110000011100001

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

XPYZ¬X¬Y¬Z¬P(¬X)∧P(¬Y)∧PZ∧PX∧Y(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧(¬P)((¬X)∧P)∨((¬Y)∧P)(((¬X)∧P)∨((¬Y)∧P))∨(Z∧P)¬X∧P∨¬Y∧P∨Z∧P∨X∧Y∧¬Z∧¬P
00001111000000000
00011101000000000
00101011000000000
00111001000000000
01001110110000111
01011100111000111
01101010100000111
01111000101000111
10000111000000000
10010101000000000
10100011000111001
10110001000100000
11000110010000111
11010100011000111
11100010000110000
11110000001100011


Наши друзья

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

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

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

Рейтинг@Mail.ru

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