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


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

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

X↓Y:
XYX↓Y
001
010
100
110

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

X∧Z:
XZX∧Z
000
010
100
111

P∨Y:
PYP∨Y
000
011
101
111

(X↓Y)⊕(((¬P)∧Y)∧Z):
XYPZX↓Y¬P(¬P)∧Y((¬P)∧Y)∧Z(X↓Y)⊕(((¬P)∧Y)∧Z)
000011001
000111001
001010001
001110001
010001100
010101111
011000000
011100000
100001000
100101000
101000000
101100000
110001100
110101111
111000000
111100000

(P∨Y)←(X∧Z):
PYXZP∨YX∧Z(P∨Y)←(X∧Z)
0000001
0001001
0010001
0011010
0100101
0101101
0110101
0111111
1000101
1001101
1010101
1011111
1100101
1101101
1110101
1111111

((X↓Y)⊕(((¬P)∧Y)∧Z))≡((P∨Y)←(X∧Z)):
XYPZX↓Y¬P(¬P)∧Y((¬P)∧Y)∧Z(X↓Y)⊕(((¬P)∧Y)∧Z)P∨YX∧Z(P∨Y)←(X∧Z)((X↓Y)⊕(((¬P)∧Y)∧Z))≡((P∨Y)←(X∧Z))
0000110010011
0001110010011
0010100011011
0011100011011
0100011001010
0101011111011
0110000001010
0111000001010
1000010000010
1001010000101
1010000001010
1011000001110
1100011001010
1101011111111
1110000001010
1111000001110

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

XYPZ¬P(¬P)∧YX↓Y((¬P)∧Y)∧ZX∧ZP∨Y(X↓Y)⊕(((¬P)∧Y)∧Z)(P∨Y)←(X∧Z)X↓Y⊕(¬P∧Y)∧Z≡P∨Y←X∧Z
0000101000111
0001101000111
0010001001111
0011001001111
0100110001010
0101110101111
0110000001010
0111000001010
1000100000010
1001100010001
1010000001010
1011000011010
1100110001010
1101110111111
1110000001010
1111000011010


Наши друзья

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

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

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

Рейтинг@Mail.ru

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