Для функции X1∨((X1⊕X3)|(X2→X3)):


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

X1X3X2X1⊕X3X2→X3(X1⊕X3)|(X2→X3)X1∨((X1⊕X3)|(X2→X3))
0000111
0010011
0101100
0111100
1001101
1011011
1100111
1110111


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

По таблице истинности:
X1X3X2F
0001
0011
0100
0110
1001
1011
1101
1111
Fскнф = (X1∨¬X3∨X2) ∧ (X1∨¬X3∨¬X2)

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

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

Рейтинг@Mail.ru

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