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


Промежуточные таблицы истинности:
X∧Y:
XYX∧Y
000
010
100
111

X∧Z:
XZX∧Z
000
010
100
111

(X∧Y)≡(X∧Z):
XYZX∧YX∧Z(X∧Y)≡(X∧Z)
000001
001001
010001
011001
100001
101010
110100
111111

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

XYZX∧YX∧ZX∧Y≡X∧Z
000001
001001
010001
011001
100001
101010
110100
111111


Совершенная конъюнктивная нормальная форма (СКНФ):

По таблице истинности:
XYZF
0001
0011
0101
0111
1001
1010
1100
1111
Fскнф = (¬X∨Y∨¬Z) ∧ (¬X∨¬Y∨Z)

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

Рейтинг@Mail.ru

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