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


Промежуточные таблицы истинности:
X1→X2:
X1X2X1→X2
001
011
100
111

X2→X3:
X2X3X2→X3
001
011
100
111

X3→X4:
X3X4X3→X4
001
011
100
111

X4→X5:
X4X5X4→X5
001
011
100
111

X5→X1:
X5X1X5→X1
001
011
100
111

(X1→X2)∧(X2→X3):
X1X2X3X1→X2X2→X3(X1→X2)∧(X2→X3)
000111
001111
010100
011111
100010
101010
110100
111111

((X1→X2)∧(X2→X3))∧(X3→X4):
X1X2X3X4X1→X2X2→X3(X1→X2)∧(X2→X3)X3→X4((X1→X2)∧(X2→X3))∧(X3→X4)
000011111
000111111
001011100
001111111
010010010
010110010
011011100
011111111
100001010
100101010
101001000
101101010
110010010
110110010
111011100
111111111

(((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5):
X1X2X3X4X5X1→X2X2→X3(X1→X2)∧(X2→X3)X3→X4((X1→X2)∧(X2→X3))∧(X3→X4)X4→X5(((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5)
000001111111
000011111111
000101111100
000111111111
001001110010
001011110010
001101111100
001111111111
010001001010
010011001010
010101001000
010111001010
011001110010
011011110010
011101111100
011111111111
100000101010
100010101010
100100101000
100110101010
101000100010
101010100010
101100101000
101110101010
110001001010
110011001010
110101001000
110111001010
111001110010
111011110010
111101111100
111111111111

((((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5))∧(X5→X1):
X1X2X3X4X5X1→X2X2→X3(X1→X2)∧(X2→X3)X3→X4((X1→X2)∧(X2→X3))∧(X3→X4)X4→X5(((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5)X5→X1((((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5))∧(X5→X1)
00000111111111
00001111111100
00010111110010
00011111111100
00100111001010
00101111001000
00110111110010
00111111111100
01000100101010
01001100101000
01010100100010
01011100101000
01100111001010
01101111001000
01110111110010
01111111111100
10000010101010
10001010101010
10010010100010
10011010101010
10100010001010
10101010001010
10110010100010
10111010101010
11000100101010
11001100101010
11010100100010
11011100101010
11100111001010
11101111001010
11110111110010
11111111111111

(((((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5))∧(X5→X1))≡1:
X1X2X3X4X5X1→X2X2→X3(X1→X2)∧(X2→X3)X3→X4((X1→X2)∧(X2→X3))∧(X3→X4)X4→X5(((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5)X5→X1((((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5))∧(X5→X1)(((((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5))∧(X5→X1))≡1
000001111111111
000011111111000
000101111100100
000111111111000
001001110010100
001011110010000
001101111100100
001111111111000
010001001010100
010011001010000
010101001000100
010111001010000
011001110010100
011011110010000
011101111100100
011111111111000
100000101010100
100010101010100
100100101000100
100110101010100
101000100010100
101010100010100
101100101000100
101110101010100
110001001010100
110011001010100
110101001000100
110111001010100
111001110010100
111011110010100
111101111100100
111111111111111

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

X1X2X3X4X5X1→X2X2→X3X3→X4X4→X5X5→X1(X1→X2)∧(X2→X3)((X1→X2)∧(X2→X3))∧(X3→X4)(((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5)((((X1→X2)∧(X2→X3))∧(X3→X4))∧(X4→X5))∧(X5→X1)(X1→X2)∧(X2→X3)∧(X3→X4)∧(X4→X5)∧(X5→X1)≡1
000001111111111
000011111011100
000101110111000
000111111011100
001001101110000
001011101010000
001101110111000
001111111011100
010001011100000
010011011000000
010101010100000
010111011000000
011001101110000
011011101010000
011101110111000
011111111011100
100000111100000
100010111100000
100100110100000
100110111100000
101000101100000
101010101100000
101100110100000
101110111100000
110001011100000
110011011100000
110101010100000
110111011100000
111001101110000
111011101110000
111101110111000
111111111111111

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

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

По таблице истинности:
X1X2X3X4X5F
000001
000010
000100
000110
001000
001010
001100
001110
010000
010010
010100
010110
011000
011010
011100
011110
100000
100010
100100
100110
101000
101010
101100
101110
110000
110010
110100
110110
111000
111010
111100
111111
Fсднф = ¬X1∧¬X2∧¬X3∧¬X4∧¬X5 ∨ X1∧X2∧X3∧X4∧X5
Логическая cхема:

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

По таблице истинности:
X1X2X3X4X5F
000001
000010
000100
000110
001000
001010
001100
001110
010000
010010
010100
010110
011000
011010
011100
011110
100000
100010
100100
100110
101000
101010
101100
101110
110000
110010
110100
110110
111000
111010
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) ∧ (¬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ж
000001
000010
000100
000110
001000
001010
001100
001110
010000
010010
010100
010110
011000
011010
011100
011110
100000
100010
100100
100110
101000
101010
101100
101110
110000
110010
110100
110110
111000
111010
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) = 1, то С00000 = 1.

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

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

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

Рейтинг@Mail.ru

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