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


Промежуточные таблицы истинности:
X→Y:
XYX→Y
001
011
100
111

¬Y:
Y¬Y
01
10

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

X≡(¬Y):
XY¬YX≡(¬Y)
0010
0101
1011
1100

(X∧(¬Y))⊕(X≡(¬Y)):
XY¬YX∧(¬Y)¬YX≡(¬Y)(X∧(¬Y))⊕(X≡(¬Y))
0010100
0100011
1011110
1100000

(X→Y)→((X∧(¬Y))⊕(X≡(¬Y))):
XYX→Y¬YX∧(¬Y)¬YX≡(¬Y)(X∧(¬Y))⊕(X≡(¬Y))(X→Y)→((X∧(¬Y))⊕(X≡(¬Y)))
001101000
011000111
100111101
111000000

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

XYX→Y¬YX∧(¬Y)X≡(¬Y)(X∧(¬Y))⊕(X≡(¬Y))(X→Y)→((X∧¬Y)⊕(X≡¬Y))
00110000
01100111
10011101
11100000


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

Рейтинг@Mail.ru

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