Таблица истинности для функции 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)
000000
001000
010000
011000
100000
101011
110101
111111

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

XYZX∧YX∧ZX∧Y∨X∧Z
000000
001000
010000
011000
100000
101011
110101
111111


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

По таблице истинности:
XYZF
0000
0010
0100
0110
1000
1011
1101
1111
Fсднф = X∧¬Y∧Z ∨ X∧Y∧¬Z ∨ X∧Y∧Z

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

По таблице истинности:
XYZF
0000
0010
0100
0110
1000
1011
1101
1111
Fскнф = (X∨Y∨Z) ∧ (X∨Y∨¬Z) ∧ (X∨¬Y∨Z) ∧ (X∨¬Y∨¬Z) ∧ (¬X∨Y∨Z)

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

Рейтинг@Mail.ru

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