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


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

¬X:
X¬X
01
10

X→(¬Y):
XY¬YX→(¬Y)
0011
0101
1011
1100

Y→(¬X):
YX¬XY→(¬X)
0011
0101
1011
1100

(X→(¬Y))≡(Y→(¬X)):
XY¬YX→(¬Y)¬XY→(¬X)(X→(¬Y))≡(Y→(¬X))
0011111
0101111
1011011
1100001

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

XY¬Y¬XX→(¬Y)Y→(¬X)X→¬Y≡Y→¬X
0011111
0101111
1010111
1100001


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

Рейтинг@Mail.ru

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