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


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

¬X3:
X3¬X3
01
10

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

((¬X1)∨X2)∨(¬X3):
X1X2X3¬X1(¬X1)∨X2¬X3((¬X1)∨X2)∨(¬X3)
0001111
0011101
0101111
0111101
1000011
1010000
1100111
1110101

¬X5:
X5¬X5
01
10

X4∨(¬X5):
X4X5¬X5X4∨(¬X5)
0011
0100
1011
1101

¬(X4∨(¬X5)):
X4X5¬X5X4∨(¬X5)¬(X4∨(¬X5))
00110
01001
10110
11010

(((¬X1)∨X2)∨(¬X3))∧(¬(X4∨(¬X5))):
X1X2X3X4X5¬X1(¬X1)∨X2¬X3((¬X1)∨X2)∨(¬X3)¬X5X4∨(¬X5)¬(X4∨(¬X5))(((¬X1)∨X2)∨(¬X3))∧(¬(X4∨(¬X5)))
0000011111100
0000111110011
0001011111100
0001111110100
0010011011100
0010111010011
0011011011100
0011111010100
0100011111100
0100111110011
0101011111100
0101111110100
0110011011100
0110111010011
0111011011100
0111111010100
1000000111100
1000100110011
1001000111100
1001100110100
1010000001100
1010100000010
1011000001100
1011100000100
1100001111100
1100101110011
1101001111100
1101101110100
1110001011100
1110101010011
1111001011100
1111101010100

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

X1X2X3X4X5¬X1¬X3(¬X1)∨X2((¬X1)∨X2)∨(¬X3)¬X5X4∨(¬X5)¬(X4∨(¬X5))(¬X1∨X2∨¬X3)∧¬(X4∨¬X5)
0000011111100
0000111110011
0001011111100
0001111110100
0010010111100
0010110110011
0011010111100
0011110110100
0100011111100
0100111110011
0101011111100
0101111110100
0110010111100
0110110110011
0111010111100
0111110110100
1000001011100
1000101010011
1001001011100
1001101010100
1010000001100
1010100000010
1011000001100
1011100000100
1100001111100
1100101110011
1101001111100
1101101110100
1110000111100
1110100110011
1111000111100
1111100110100

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

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

По таблице истинности:
X1X2X3X4X5F
000000
000011
000100
000110
001000
001011
001100
001110
010000
010011
010100
010110
011000
011011
011100
011110
100000
100011
100100
100110
101000
101010
101100
101110
110000
110011
110100
110110
111000
111011
111100
111110
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
Логическая cхема:

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

По таблице истинности:
X1X2X3X4X5F
000000
000011
000100
000110
001000
001011
001100
001110
010000
010011
010100
010110
011000
011011
011100
011110
100000
100011
100100
100110
101000
101010
101100
101110
110000
110011
110100
110110
111000
111011
111100
111110
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) ∧ (¬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
000110
001000
001011
001100
001110
010000
010011
010100
010110
011000
011011
011100
011110
100000
100011
100100
100110
101000
101010
101100
101110
110000
110011
110100
110110
111000
111011
111100
111110

Построим полином Жегалкина:
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 = 0 => С00011 = 0 ⊕ 0 ⊕ 1 ⊕ 0 = 1
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 ⊕ 1 ⊕ 0 = 0
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 = 0 => С01011 = 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 0
Fж(00111) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С00111 = 0 => С00111 = 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 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 = 0 => С11011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
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 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(01111) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С01100 ⊕ С01010 ⊕ С01001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С01110 ⊕ С01101 ⊕ С01011 ⊕ С00111 ⊕ С01111 = 0 => С01111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 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 = 0 => С11111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1

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

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

Рейтинг@Mail.ru

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