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


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

(¬Y)∧X:
YX¬Y(¬Y)∧X
0010
0111
1000
1100

X∨Y:
XYX∨Y
000
011
101
111

¬((¬Y)∧X):
YX¬Y(¬Y)∧X¬((¬Y)∧X)
00101
01110
10001
11001

(¬((¬Y)∧X))→(X∨Y):
YX¬Y(¬Y)∧X¬((¬Y)∧X)X∨Y(¬((¬Y)∧X))→(X∨Y)
0010100
0111011
1000111
1100111

X∧((¬((¬Y)∧X))→(X∨Y)):
XY¬Y(¬Y)∧X¬((¬Y)∧X)X∨Y(¬((¬Y)∧X))→(X∨Y)X∧((¬((¬Y)∧X))→(X∨Y))
00101000
01001110
10110111
11001111

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

XY¬Y(¬Y)∧XX∨Y¬((¬Y)∧X)(¬((¬Y)∧X))→(X∨Y)X∧(¬(¬Y∧X)→(X∨Y))
00100100
01001110
10111011
11001111

Логическая схема:

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

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

Рейтинг@Mail.ru

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