Для функции X∧(¬X∨Y)∧(X∨Y):


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

(¬X)∨Y:
XY¬X(¬X)∨Y
0011
0111
1000
1101

X∨Y:
XYX∨Y
000
011
101
111

X∧((¬X)∨Y):
XY¬X(¬X)∨YX∧((¬X)∨Y)
00110
01110
10000
11011

(X∧((¬X)∨Y))∧(X∨Y):
XY¬X(¬X)∨YX∧((¬X)∨Y)X∨Y(X∧((¬X)∨Y))∧(X∨Y)
0011000
0111010
1000010
1101111

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

XY¬X(¬X)∨YX∨YX∧((¬X)∨Y)X∧(¬X∨Y)∧(X∨Y)
0011000
0111100
1000100
1101111


Это интересно...

Наши контакты

Рейтинг@Mail.ru

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