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


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

XYZ¬YX↓(¬Y)Y⊕Z(X↓¬Y)∨(Y⊕Z)
0001000
0011011
0100111
0110101
1001000
1011011
1100011
1110000


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

По таблице истинности:
XYZF
0000
0011
0101
0111
1000
1011
1101
1110
Fсднф = ¬X∧¬Y∧Z ∨ ¬X∧Y∧¬Z ∨ ¬X∧Y∧Z ∨ X∧¬Y∧Z ∨ X∧Y∧¬Z

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

По таблице истинности:
XYZF
0000
0011
0101
0111
1000
1011
1101
1110
Fскнф = (X∨Y∨Z) ∧ (¬X∨Y∨Z) ∧ (¬X∨¬Y∨¬Z)

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

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

Рейтинг@Mail.ru

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