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