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


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

¬X3:
X3¬X3
01
10

¬X4:
X4¬X4
01
10

(¬X3)∧(¬X4):
X3X4¬X3¬X4(¬X3)∧(¬X4)
00111
01100
10010
11000

(¬X1)∨X2:
X1X2¬X1(¬X1)∨X2
0011
0111
1000
1101

((¬X1)∨X2)∨((¬X3)∧(¬X4)):
X1X2X3X4¬X1(¬X1)∨X2¬X3¬X4(¬X3)∧(¬X4)((¬X1)∨X2)∨((¬X3)∧(¬X4))
0000111111
0001111001
0010110101
0011110001
0100111111
0101111001
0110110101
0111110001
1000001111
1001001000
1010000100
1011000000
1100011111
1101011001
1110010101
1111010001

(((¬X1)∨X2)∨((¬X3)∧(¬X4)))∧X5:
X1X2X3X4X5¬X1(¬X1)∨X2¬X3¬X4(¬X3)∧(¬X4)((¬X1)∨X2)∨((¬X3)∧(¬X4))(((¬X1)∨X2)∨((¬X3)∧(¬X4)))∧X5
000001111110
000011111111
000101110010
000111110011
001001101010
001011101011
001101100010
001111100011
010001111110
010011111111
010101110010
010111110011
011001101010
011011101011
011101100010
011111100011
100000011110
100010011111
100100010000
100110010000
101000001000
101010001000
101100000000
101110000000
110000111110
110010111111
110100110010
110110110011
111000101010
111010101011
111100100010
111110100011

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

X1X2X3X4X5¬X1¬X3¬X4(¬X3)∧(¬X4)(¬X1)∨X2((¬X1)∨X2)∨((¬X3)∧(¬X4))(¬X1∨X2∨¬X3∧¬X4)∧X5
000001111110
000011111111
000101100110
000111100111
001001010110
001011010111
001101000110
001111000111
010001111110
010011111111
010101100110
010111100111
011001010110
011011010111
011101000110
011111000111
100000111010
100010111011
100100100000
100110100000
101000010000
101010010000
101100000000
101110000000
110000111110
110010111111
110100100110
110110100111
111000010110
111010010111
111100000110
111110000111

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

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

По таблице истинности:
X1X2X3X4X5F
000000
000011
000100
000111
001000
001011
001100
001111
010000
010011
010100
010111
011000
011011
011100
011111
100000
100011
100100
100110
101000
101010
101100
101110
110000
110011
110100
110111
111000
111011
111100
111111
Fсднф = ¬X1∧¬X2∧¬X3∧¬X4∧X5 ∨ ¬X1∧¬X2∧¬X3∧X4∧X5 ∨ ¬X1∧¬X2∧X3∧¬X4∧X5 ∨ ¬X1∧¬X2∧X3∧X4∧X5 ∨ ¬X1∧X2∧¬X3∧¬X4∧X5 ∨ ¬X1∧X2∧¬X3∧X4∧X5 ∨ ¬X1∧X2∧X3∧¬X4∧X5 ∨ ¬X1∧X2∧X3∧X4∧X5 ∨ X1∧¬X2∧¬X3∧¬X4∧X5 ∨ X1∧X2∧¬X3∧¬X4∧X5 ∨ X1∧X2∧¬X3∧X4∧X5 ∨ X1∧X2∧X3∧¬X4∧X5 ∨ X1∧X2∧X3∧X4∧X5
Логическая cхема:

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

По таблице истинности:
X1X2X3X4X5F
000000
000011
000100
000111
001000
001011
001100
001111
010000
010011
010100
010111
011000
011011
011100
011111
100000
100011
100100
100110
101000
101010
101100
101110
110000
110011
110100
110111
111000
111011
111100
111111
Fскнф = (X1∨X2∨X3∨X4∨X5) ∧ (X1∨X2∨X3∨¬X4∨X5) ∧ (X1∨X2∨¬X3∨X4∨X5) ∧ (X1∨X2∨¬X3∨¬X4∨X5) ∧ (X1∨¬X2∨X3∨X4∨X5) ∧ (X1∨¬X2∨X3∨¬X4∨X5) ∧ (X1∨¬X2∨¬X3∨X4∨X5) ∧ (X1∨¬X2∨¬X3∨¬X4∨X5) ∧ (¬X1∨X2∨X3∨X4∨X5) ∧ (¬X1∨X2∨X3∨¬X4∨X5) ∧ (¬X1∨X2∨X3∨¬X4∨¬X5) ∧ (¬X1∨X2∨¬X3∨X4∨X5) ∧ (¬X1∨X2∨¬X3∨X4∨¬X5) ∧ (¬X1∨X2∨¬X3∨¬X4∨X5) ∧ (¬X1∨X2∨¬X3∨¬X4∨¬X5) ∧ (¬X1∨¬X2∨X3∨X4∨X5) ∧ (¬X1∨¬X2∨X3∨¬X4∨X5) ∧ (¬X1∨¬X2∨¬X3∨X4∨X5) ∧ (¬X1∨¬X2∨¬X3∨¬X4∨X5)
Логическая cхема:

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

По таблице истинности функции
X1X2X3X4X5Fж
000000
000011
000100
000111
001000
001011
001100
001111
010000
010011
010100
010111
011000
011011
011100
011111
100000
100011
100100
100110
101000
101010
101100
101110
110000
110011
110100
110111
111000
111011
111100
111111

Построим полином Жегалкина:
Fж = C00000 ⊕ C10000∧X1 ⊕ C01000∧X2 ⊕ C00100∧X3 ⊕ C00010∧X4 ⊕ C00001∧X5 ⊕ C11000∧X1∧X2 ⊕ C10100∧X1∧X3 ⊕ C10010∧X1∧X4 ⊕ C10001∧X1∧X5 ⊕ C01100∧X2∧X3 ⊕ C01010∧X2∧X4 ⊕ C01001∧X2∧X5 ⊕ C00110∧X3∧X4 ⊕ C00101∧X3∧X5 ⊕ C00011∧X4∧X5 ⊕ C11100∧X1∧X2∧X3 ⊕ C11010∧X1∧X2∧X4 ⊕ C11001∧X1∧X2∧X5 ⊕ C10110∧X1∧X3∧X4 ⊕ C10101∧X1∧X3∧X5 ⊕ C10011∧X1∧X4∧X5 ⊕ C01110∧X2∧X3∧X4 ⊕ C01101∧X2∧X3∧X5 ⊕ C01011∧X2∧X4∧X5 ⊕ C00111∧X3∧X4∧X5 ⊕ C11110∧X1∧X2∧X3∧X4 ⊕ C11101∧X1∧X2∧X3∧X5 ⊕ C11011∧X1∧X2∧X4∧X5 ⊕ C10111∧X1∧X3∧X4∧X5 ⊕ C01111∧X2∧X3∧X4∧X5 ⊕ C11111∧X1∧X2∧X3∧X4∧X5

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

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(10000) = С00000 ⊕ С10000 = 0 => С10000 = 0 ⊕ 0 = 0
Fж(01000) = С00000 ⊕ С01000 = 0 => С01000 = 0 ⊕ 0 = 0
Fж(00100) = С00000 ⊕ С00100 = 0 => С00100 = 0 ⊕ 0 = 0
Fж(00010) = С00000 ⊕ С00010 = 0 => С00010 = 0 ⊕ 0 = 0
Fж(00001) = С00000 ⊕ С00001 = 1 => С00001 = 0 ⊕ 1 = 1
Fж(11000) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С11000 = 0 => С11000 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10100) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С10100 = 0 => С10100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10010) = С00000 ⊕ С10000 ⊕ С00010 ⊕ С10010 = 0 => С10010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10001) = С00000 ⊕ С10000 ⊕ С00001 ⊕ С10001 = 1 => С10001 = 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(01100) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С01100 = 0 => С01100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(01010) = С00000 ⊕ С01000 ⊕ С00010 ⊕ С01010 = 0 => С01010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(01001) = С00000 ⊕ С01000 ⊕ С00001 ⊕ С01001 = 1 => С01001 = 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(00110) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00110 = 0 => С00110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(00101) = С00000 ⊕ С00100 ⊕ С00001 ⊕ С00101 = 1 => С00101 = 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(00011) = С00000 ⊕ С00010 ⊕ С00001 ⊕ С00011 = 1 => С00011 = 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(11100) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С11000 ⊕ С10100 ⊕ С01100 ⊕ С11100 = 0 => С11100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11010) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00010 ⊕ С11000 ⊕ С10010 ⊕ С01010 ⊕ С11010 = 0 => С11010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11001) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00001 ⊕ С11000 ⊕ С10001 ⊕ С01001 ⊕ С11001 = 1 => С11001 = 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(10110) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00010 ⊕ С10100 ⊕ С10010 ⊕ С00110 ⊕ С10110 = 0 => С10110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10101) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00001 ⊕ С10100 ⊕ С10001 ⊕ С00101 ⊕ С10101 = 0 => С10101 = 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(10011) = С00000 ⊕ С10000 ⊕ С00010 ⊕ С00001 ⊕ С10010 ⊕ С10001 ⊕ С00011 ⊕ С10011 = 0 => С10011 = 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(01110) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С01100 ⊕ С01010 ⊕ С00110 ⊕ С01110 = 0 => С01110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(01101) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00001 ⊕ С01100 ⊕ С01001 ⊕ С00101 ⊕ С01101 = 1 => С01101 = 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(01011) = С00000 ⊕ С01000 ⊕ С00010 ⊕ С00001 ⊕ С01010 ⊕ С01001 ⊕ С00011 ⊕ С01011 = 1 => С01011 = 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00111) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С00111 = 1 => С00111 = 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(11110) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С11000 ⊕ С10100 ⊕ С10010 ⊕ С01100 ⊕ С01010 ⊕ С00110 ⊕ С11100 ⊕ С11010 ⊕ С10110 ⊕ С01110 ⊕ С11110 = 0 => С11110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11101) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00001 ⊕ С11000 ⊕ С10100 ⊕ С10001 ⊕ С01100 ⊕ С01001 ⊕ С00101 ⊕ С11100 ⊕ С11001 ⊕ С10101 ⊕ С01101 ⊕ С11101 = 1 => С11101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 = 1
Fж(11011) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00010 ⊕ С00001 ⊕ С11000 ⊕ С10010 ⊕ С10001 ⊕ С01010 ⊕ С01001 ⊕ С00011 ⊕ С11010 ⊕ С11001 ⊕ С10011 ⊕ С01011 ⊕ С11011 = 1 => С11011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 = 1
Fж(10111) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С10100 ⊕ С10010 ⊕ С10001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С10110 ⊕ С10101 ⊕ С10011 ⊕ С00111 ⊕ С10111 = 0 => С10111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(01111) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С01100 ⊕ С01010 ⊕ С01001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С01110 ⊕ С01101 ⊕ С01011 ⊕ С00111 ⊕ С01111 = 1 => С01111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(11111) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С11000 ⊕ С10100 ⊕ С10010 ⊕ С10001 ⊕ С01100 ⊕ С01010 ⊕ С01001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С11100 ⊕ С11010 ⊕ С11001 ⊕ С10110 ⊕ С10101 ⊕ С10011 ⊕ С01110 ⊕ С01101 ⊕ С01011 ⊕ С00111 ⊕ С11110 ⊕ С11101 ⊕ С11011 ⊕ С10111 ⊕ С01111 ⊕ С11111 = 1 => С11111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 1 = 1

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

Околостуденческое

Рейтинг@Mail.ru

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