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


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

(¬X)→Y:
XY¬X(¬X)→Y
0010
0111
1001
1101

(¬X)→X:
X¬X(¬X)→X
010
101

((¬X)→Y)→((¬X)→X):
XY¬X(¬X)→Y¬X(¬X)→X((¬X)→Y)→((¬X)→X)
0010101
0111100
1001011
1101011

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

XY¬X(¬X)→Y(¬X)→X(¬X→Y)→(¬X→X)
001001
011100
100111
110111


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

Рейтинг@Mail.ru

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