Таблица истинности для функции X1⊕X2∧X1|X2∧X1↓X2:


Промежуточные таблицы истинности:
X1|X2:
X1X2X1|X2
001
011
101
110

X1↓X2:
X1X2X1↓X2
001
010
100
110

X2∧(X1|X2):
X2X1X1|X2X2∧(X1|X2)
0010
0110
1011
1100

(X2∧(X1|X2))∧(X1↓X2):
X2X1X1|X2X2∧(X1|X2)X1↓X2(X2∧(X1|X2))∧(X1↓X2)
001010
011000
101100
110000

X1⊕((X2∧(X1|X2))∧(X1↓X2)):
X1X2X1|X2X2∧(X1|X2)X1↓X2(X2∧(X1|X2))∧(X1↓X2)X1⊕((X2∧(X1|X2))∧(X1↓X2))
0010100
0111000
1010001
1100001

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

X1X2X1|X2X1↓X2X2∧(X1|X2)(X2∧(X1|X2))∧(X1↓X2)X1⊕X2∧X1|X2∧X1↓X2
0011000
0110100
1010001
1100001

Логическая схема:

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

По таблице истинности:
X1X2F
000
010
101
111
Fсднф = X1∧¬X2 ∨ X1∧X2
Логическая cхема:

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

По таблице истинности:
X1X2F
000
010
101
111
Fскнф = (X1∨X2) ∧ (X1∨¬X2)
Логическая cхема:

Построение полинома Жегалкина:

По таблице истинности функции
X1X2Fж
000
010
101
111

Построим полином Жегалкина:
Fж = C00 ⊕ C10∧X1 ⊕ C01∧X2 ⊕ C11∧X1∧X2

Так как Fж(00) = 0, то С00 = 0.

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(10) = С00 ⊕ С10 = 1 => С10 = 0 ⊕ 1 = 1
Fж(01) = С00 ⊕ С01 = 0 => С01 = 0 ⊕ 0 = 0
Fж(11) = С00 ⊕ С10 ⊕ С01 ⊕ С11 = 1 => С11 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0

Таким образом, полином Жегалкина будет равен:
Fж = X1
Логическая схема, соответствующая полиному Жегалкина: