Таблица истинности для функции ¬(X→Y)≡(Y∧Z)∨X:


Промежуточные таблицы истинности:
X→Y:
XYX→Y
001
011
100
111

Y∧Z:
YZY∧Z
000
010
100
111

¬(X→Y):
XYX→Y¬(X→Y)
0010
0110
1001
1110

(Y∧Z)∨X:
YZXY∧Z(Y∧Z)∨X
00000
00101
01000
01101
10000
10101
11011
11111

(¬(X→Y))≡((Y∧Z)∨X):
XYZX→Y¬(X→Y)Y∧Z(Y∧Z)∨X(¬(X→Y))≡((Y∧Z)∨X)
00010001
00110001
01010001
01110110
10001011
10101011
11010010
11110110

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

XYZX→YY∧Z¬(X→Y)(Y∧Z)∨X¬(X→Y)≡(Y∧Z)∨X
00010001
00110001
01010001
01111010
10000111
10100111
11010010
11111010


Околостуденческое

Рейтинг@Mail.ru

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