Таблица истинности для функции ¬(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

(¬(X→Y))∧(Y∧Z):
XYZX→Y¬(X→Y)Y∧Z(¬(X→Y))∧(Y∧Z)
0001000
0011000
0101000
0111010
1000100
1010100
1101000
1111010

((¬(X→Y))∧(Y∧Z))∨X:
XYZX→Y¬(X→Y)Y∧Z(¬(X→Y))∧(Y∧Z)((¬(X→Y))∧(Y∧Z))∨X
00010000
00110000
01010000
01110100
10001001
10101001
11010001
11110101

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

XYZX→YY∧Z¬(X→Y)(¬(X→Y))∧(Y∧Z)¬(X→Y)∧(Y∧Z)∨X
00010000
00110000
01010000
01111000
10000101
10100101
11010001
11111001


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

Рейтинг@Mail.ru

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