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


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

¬Y:
Y¬Y
01
10

X|(Y|Y):
XYY|YX|(Y|Y)
0011
0101
1010
1101

X∧(¬Y):
XY¬YX∧(¬Y)
0010
0100
1011
1100

(X∧(¬Y))≡(X|(Y|Y)):
XY¬YX∧(¬Y)Y|YX|(Y|Y)(X∧(¬Y))≡(X|(Y|Y))
0010110
0100010
1011100
1100010

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

XYY|Y¬YX|(Y|Y)X∧(¬Y)X∧¬Y≡X|(Y|Y)
0011100
0100100
1011010
1100100


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

Рейтинг@Mail.ru

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