Таблица истинности для функции X1∨X2∨X3∧X1∨X2∨¬X3∧X1∨¬X2∨X3∧X1∨¬X2∨¬X3∧¬X1∨X2∨¬X3:


Промежуточные таблицы истинности:
¬X3:
X3¬X3
01
10

¬X2:
X2¬X2
01
10

¬X1:
X1¬X1
01
10

X3∧X1:
X3X1X3∧X1
000
010
100
111

(¬X3)∧X1:
X3X1¬X3(¬X3)∧X1
0010
0111
1000
1100

(¬X3)∧(¬X1):
X3X1¬X3¬X1(¬X3)∧(¬X1)
00111
01100
10010
11000

X1∨X2:
X1X2X1∨X2
000
011
101
111

(X1∨X2)∨(X3∧X1):
X1X2X3X1∨X2X3∧X1(X1∨X2)∨(X3∧X1)
000000
001000
010101
011101
100101
101111
110101
111111

((X1∨X2)∨(X3∧X1))∨X2:
X1X2X3X1∨X2X3∧X1(X1∨X2)∨(X3∧X1)((X1∨X2)∨(X3∧X1))∨X2
0000000
0010000
0101011
0111011
1001011
1011111
1101011
1111111

(((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1):
X1X2X3X1∨X2X3∧X1(X1∨X2)∨(X3∧X1)((X1∨X2)∨(X3∧X1))∨X2¬X3(¬X3)∧X1(((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1)
0000000100
0010000000
0101011101
0111011001
1001011111
1011111001
1101011111
1111111001

((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2):
X1X2X3X1∨X2X3∧X1(X1∨X2)∨(X3∧X1)((X1∨X2)∨(X3∧X1))∨X2¬X3(¬X3)∧X1(((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1)¬X2((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2)
000000010011
001000000011
010101110101
011101100101
100101111111
101111100111
110101111101
111111100101

(((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1):
X1X2X3X1∨X2X3∧X1(X1∨X2)∨(X3∧X1)((X1∨X2)∨(X3∧X1))∨X2¬X3(¬X3)∧X1(((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1)¬X2((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2)X3∧X1(((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1)
00000001001101
00100000001101
01010111010101
01110110010101
10010111111101
10111110011111
11010111110101
11111110010111

((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2):
X1X2X3X1∨X2X3∧X1(X1∨X2)∨(X3∧X1)((X1∨X2)∨(X3∧X1))∨X2¬X3(¬X3)∧X1(((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1)¬X2((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2)X3∧X1(((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1)¬X2((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2)
0000000100110111
0010000000110111
0101011101010101
0111011001010101
1001011111110111
1011111001111111
1101011111010101
1111111001011101

(((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1)):
X1X2X3X1∨X2X3∧X1(X1∨X2)∨(X3∧X1)((X1∨X2)∨(X3∧X1))∨X2¬X3(¬X3)∧X1(((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1)¬X2((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2)X3∧X1(((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1)¬X2((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2)¬X3¬X1(¬X3)∧(¬X1)(((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1))
00000001001101111111
00100000001101110101
01010111010101011111
01110110010101010101
10010111111101111001
10111110011111110001
11010111110101011001
11111110010111010001

((((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1)))∨X2:
X1X2X3X1∨X2X3∧X1(X1∨X2)∨(X3∧X1)((X1∨X2)∨(X3∧X1))∨X2¬X3(¬X3)∧X1(((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1)¬X2((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2)X3∧X1(((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1)¬X2((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2)¬X3¬X1(¬X3)∧(¬X1)(((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1))((((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1)))∨X2
000000010011011111111
001000000011011101011
010101110101010111111
011101100101010101011
100101111111011110011
101111100111111100011
110101111101010110011
111111100101110100011

(((((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1)))∨X2)∨(¬X3):
X1X2X3X1∨X2X3∧X1(X1∨X2)∨(X3∧X1)((X1∨X2)∨(X3∧X1))∨X2¬X3(¬X3)∧X1(((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1)¬X2((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2)X3∧X1(((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1)¬X2((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2)¬X3¬X1(¬X3)∧(¬X1)(((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1))((((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1)))∨X2¬X3(((((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1)))∨X2)∨(¬X3)
00000001001101111111111
00100000001101110101101
01010111010101011111111
01110110010101010101101
10010111111101111001111
10111110011111110001101
11010111110101011001111
11111110010111010001101

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

X1X2X3¬X3¬X2¬X1X3∧X1(¬X3)∧X1(¬X3)∧(¬X1)X1∨X2(X1∨X2)∨(X3∧X1)((X1∨X2)∨(X3∧X1))∨X2(((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1)((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2)(((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1)((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2)(((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1))((((((((X1∨X2)∨(X3∧X1))∨X2)∨((¬X3)∧X1))∨(¬X2))∨(X3∧X1))∨(¬X2))∨((¬X3)∧(¬X1)))∨X2X1∨X2∨X3∧X1∨X2∨¬X3∧X1∨¬X2∨X3∧X1∨¬X2∨¬X3∧¬X1∨X2∨¬X3
0001110010000111111
0010110000000111111
0101010011111111111
0110010001111111111
1001100101111111111
1010101001111111111
1101000101111111111
1110001001111111111

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

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

По таблице истинности:
X1X2X3F
0001
0011
0101
0111
1001
1011
1101
1111
Fсднф = ¬X1∧¬X2∧¬X3 ∨ ¬X1∧¬X2∧X3 ∨ ¬X1∧X2∧¬X3 ∨ ¬X1∧X2∧X3 ∨ X1∧¬X2∧¬X3 ∨ X1∧¬X2∧X3 ∨ X1∧X2∧¬X3 ∨ X1∧X2∧X3
Логическая cхема:

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

По таблице истинности:
X1X2X3F
0001
0011
0101
0111
1001
1011
1101
1111
В таблице истинности нет набора значений переменных при которых функция ложна!

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

По таблице истинности функции
X1X2X3Fж
0001
0011
0101
0111
1001
1011
1101
1111

Построим полином Жегалкина:
Fж = C000 ⊕ C100∧X1 ⊕ C010∧X2 ⊕ C001∧X3 ⊕ C110∧X1∧X2 ⊕ C101∧X1∧X3 ⊕ C011∧X2∧X3 ⊕ C111∧X1∧X2∧X3

Так как Fж(000) = 1, то С000 = 1.

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(100) = С000 ⊕ С100 = 1 => С100 = 1 ⊕ 1 = 0
Fж(010) = С000 ⊕ С010 = 1 => С010 = 1 ⊕ 1 = 0
Fж(001) = С000 ⊕ С001 = 1 => С001 = 1 ⊕ 1 = 0
Fж(110) = С000 ⊕ С100 ⊕ С010 ⊕ С110 = 1 => С110 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(101) = С000 ⊕ С100 ⊕ С001 ⊕ С101 = 1 => С101 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(011) = С000 ⊕ С010 ⊕ С001 ⊕ С011 = 1 => С011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(111) = С000 ⊕ С100 ⊕ С010 ⊕ С001 ⊕ С110 ⊕ С101 ⊕ С011 ⊕ С111 = 1 => С111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0

Таким образом, полином Жегалкина будет равен:
Fж = 1