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


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

(¬X)∧Y:
XY¬X(¬X)∧Y
0010
0111
1000
1100

X∨Y:
XYX∨Y
000
011
101
111

¬(X∨Y):
XYX∨Y¬(X∨Y)
0001
0110
1010
1110

(¬(X∨Y))∧Y:
XYX∨Y¬(X∨Y)(¬(X∨Y))∧Y
00010
01100
10100
11100

¬((¬X)∧Y):
XY¬X(¬X)∧Y¬((¬X)∧Y)
00101
01110
10001
11001

¬((¬(X∨Y))∧Y):
XYX∨Y¬(X∨Y)(¬(X∨Y))∧Y¬((¬(X∨Y))∧Y)
000101
011001
101001
111001

(¬((¬X)∧Y))∨(¬((¬(X∨Y))∧Y)):
XY¬X(¬X)∧Y¬((¬X)∧Y)X∨Y¬(X∨Y)(¬(X∨Y))∧Y¬((¬(X∨Y))∧Y)(¬((¬X)∧Y))∨(¬((¬(X∨Y))∧Y))
0010101011
0111010011
1000110011
1100110011

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

XY¬X(¬X)∧YX∨Y¬(X∨Y)(¬(X∨Y))∧Y¬((¬X)∧Y)¬((¬(X∨Y))∧Y)¬(¬X∧Y)∨¬(¬(X∨Y)∧Y)
0010010111
0111100011
1000100111
1100100111

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

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

Рейтинг@Mail.ru

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