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


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

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

¬Y:
Y¬Y
01
10

¬(X|(Y|Y)):
XYY|YX|(Y|Y)¬(X|(Y|Y))
00110
01010
10101
11010

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

(X∧(¬Y))≡(¬(X|(Y|Y))):
XY¬YX∧(¬Y)Y|YX|(Y|Y)¬(X|(Y|Y))(X∧(¬Y))≡(¬(X|(Y|Y)))
00101101
01000101
10111011
11000101

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

XYY|YX|(Y|Y)¬Y¬(X|(Y|Y))X∧(¬Y)X∧¬Y≡¬(X|(Y|Y))
00111001
01010001
10101111
11010001

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

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

Рейтинг@Mail.ru

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