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


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

¬Y:
Y¬Y
01
10

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

Z∨Y:
ZYZ∨Y
000
011
101
111

¬Z:
Z¬Z
01
10

¬P:
P¬P
01
10

(¬Z)∧(¬P):
ZP¬Z¬P(¬Z)∧(¬P)
00111
01100
10010
11000

(¬Z)∨((¬Z)∧(¬P)):
ZP¬Z¬Z¬P(¬Z)∧(¬P)(¬Z)∨((¬Z)∧(¬P))
0011111
0111001
1000100
1100000

¬((¬Z)∨((¬Z)∧(¬P))):
ZP¬Z¬Z¬P(¬Z)∧(¬P)(¬Z)∨((¬Z)∧(¬P))¬((¬Z)∨((¬Z)∧(¬P)))
00111110
01110010
10001001
11000001

((¬X)∨(¬Y))∧(Z∨Y):
XYZ¬X¬Y(¬X)∨(¬Y)Z∨Y((¬X)∨(¬Y))∧(Z∨Y)
00011100
00111111
01010111
01110111
10001100
10101111
11000010
11100010

(((¬X)∨(¬Y))∧(Z∨Y))∧(¬((¬Z)∨((¬Z)∧(¬P)))):
XYZP¬X¬Y(¬X)∨(¬Y)Z∨Y((¬X)∨(¬Y))∧(Z∨Y)¬Z¬Z¬P(¬Z)∧(¬P)(¬Z)∨((¬Z)∧(¬P))¬((¬Z)∨((¬Z)∧(¬P)))(((¬X)∨(¬Y))∧(Z∨Y))∧(¬((¬Z)∨((¬Z)∧(¬P))))
0000111001111100
0001111001100100
0010111110010011
0011111110000011
0100101111111100
0101101111100100
0110101110010011
0111101110000011
1000011001111100
1001011001100100
1010011110010011
1011011110000011
1100000101111100
1101000101100100
1110000100010010
1111000100000010

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

XYZP¬X¬Y(¬X)∨(¬Y)Z∨Y¬Z¬P(¬Z)∧(¬P)(¬Z)∨((¬Z)∧(¬P))¬((¬Z)∨((¬Z)∧(¬P)))((¬X)∨(¬Y))∧(Z∨Y)(¬X∨¬Y)∧(Z∨Y)∧¬(¬Z∨¬Z∧¬P)
000011101111000
000111101001000
001011110100111
001111110000111
010010111111010
010110111001010
011010110100111
011110110000111
100001101111000
100101101001000
101001110100111
101101110000111
110000011111000
110100011001000
111000010100100
111100010000100


Наши друзья

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

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

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

Рейтинг@Mail.ru

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