Таблица истинности для функции (¬X→¬Y)∨(¬Y∧¬X)∧((X→Y)∧¬Y)⊕X:
Промежуточные таблицы истинности:
¬X:
¬Y:
(¬X)→(¬Y):
(¬Y)∧(¬X):
X→Y:
(X→Y)∧(¬Y):
((¬Y)∧(¬X))∧((X→Y)∧(¬Y)):
((¬X)→(¬Y))∨(((¬Y)∧(¬X))∧((X→Y)∧(¬Y))):
(((¬X)→(¬Y))∨(((¬Y)∧(¬X))∧((X→Y)∧(¬Y))))⊕X:
Общая таблица истинности:
Логическая схема:
Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности:Fсднф = ¬X∧¬Y
Логическая cхема:
Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:Fскнф = (X∨¬Y) ∧ (¬X∨Y) ∧ (¬X∨¬Y)
Логическая cхема:
Построение полинома Жегалкина:
По таблице истинности функцииПостроим полином Жегалкина:
Fж = C00 ⊕ C10∧X ⊕ C01∧Y ⊕ C11∧X∧Y
Так как Fж(00) = 1, то С00 = 1.
Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(10) = С00 ⊕ С10 = 0 => С10 = 1 ⊕ 0 = 1
Fж(01) = С00 ⊕ С01 = 0 => С01 = 1 ⊕ 0 = 1
Fж(11) = С00 ⊕ С10 ⊕ С01 ⊕ С11 = 0 => С11 = 1 ⊕ 1 ⊕ 1 ⊕ 0 = 1
Таким образом, полином Жегалкина будет равен:
Fж = 1 ⊕ X ⊕ Y ⊕ X∧Y
Логическая схема, соответствующая полиному Жегалкина: