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


Промежуточные таблицы истинности:
X2∧V:
X2VX2∧V
000
010
100
111

(X2∧V)∧X3:
X2VX3X2∧V(X2∧V)∧X3
00000
00100
01000
01100
10000
10100
11010
11111

((X2∧V)∧X3)∧V:
X2VX3X2∧V(X2∧V)∧X3((X2∧V)∧X3)∧V
000000
001000
010000
011000
100000
101000
110100
111111

(((X2∧V)∧X3)∧V)∧X4:
X2VX3X4X2∧V(X2∧V)∧X3((X2∧V)∧X3)∧V(((X2∧V)∧X3)∧V)∧X4
00000000
00010000
00100000
00110000
01000000
01010000
01100000
01110000
10000000
10010000
10100000
10110000
11001000
11011000
11101110
11111111

¬X2:
X2¬X2
01
10

¬X3:
X3¬X3
01
10

X1∧V:
X1VX1∧V
000
010
100
111

(X1∧V)∧(¬X2):
X1VX2X1∧V¬X2(X1∧V)∧(¬X2)
000010
001000
010010
011000
100010
101000
110111
111100

((X1∧V)∧(¬X2))∧V:
X1VX2X1∧V¬X2(X1∧V)∧(¬X2)((X1∧V)∧(¬X2))∧V
0000100
0010000
0100100
0110000
1000100
1010000
1101111
1111000

(((X1∧V)∧(¬X2))∧V)∧(¬X3):
X1VX2X3X1∧V¬X2(X1∧V)∧(¬X2)((X1∧V)∧(¬X2))∧V¬X3(((X1∧V)∧(¬X2))∧V)∧(¬X3)
0000010010
0001010000
0010000010
0011000000
0100010010
0101010000
0110000010
0111000000
1000010010
1001010000
1010000010
1011000000
1100111111
1101111100
1110100010
1111100000

((((X2∧V)∧X3)∧V)∧X4)∧((((X1∧V)∧(¬X2))∧V)∧(¬X3)):
X2VX3X4X1X2∧V(X2∧V)∧X3((X2∧V)∧X3)∧V(((X2∧V)∧X3)∧V)∧X4X1∧V¬X2(X1∧V)∧(¬X2)((X1∧V)∧(¬X2))∧V¬X3(((X1∧V)∧(¬X2))∧V)∧(¬X3)((((X2∧V)∧X3)∧V)∧X4)∧((((X1∧V)∧(¬X2))∧V)∧(¬X3))
0000000000100100
0000100000100100
0001000000100100
0001100000100100
0010000000100000
0010100000100000
0011000000100000
0011100000100000
0100000000100100
0100100001111110
0101000000100100
0101100001111110
0110000000100000
0110100001111000
0111000000100000
0111100001111000
1000000000000100
1000100000000100
1001000000000100
1001100000000100
1010000000000000
1010100000000000
1011000000000000
1011100000000000
1100010000000100
1100110001000100
1101010000000100
1101110001000100
1110011100000000
1110111101000000
1111011110000000
1111111111000000

(((((X2∧V)∧X3)∧V)∧X4)∧((((X1∧V)∧(¬X2))∧V)∧(¬X3)))⊕X2:
X2VX3X4X1X2∧V(X2∧V)∧X3((X2∧V)∧X3)∧V(((X2∧V)∧X3)∧V)∧X4X1∧V¬X2(X1∧V)∧(¬X2)((X1∧V)∧(¬X2))∧V¬X3(((X1∧V)∧(¬X2))∧V)∧(¬X3)((((X2∧V)∧X3)∧V)∧X4)∧((((X1∧V)∧(¬X2))∧V)∧(¬X3))(((((X2∧V)∧X3)∧V)∧X4)∧((((X1∧V)∧(¬X2))∧V)∧(¬X3)))⊕X2
00000000001001000
00001000001001000
00010000001001000
00011000001001000
00100000001000000
00101000001000000
00110000001000000
00111000001000000
01000000001001000
01001000011111100
01010000001001000
01011000011111100
01100000001000000
01101000011110000
01110000001000000
01111000011110000
10000000000001001
10001000000001001
10010000000001001
10011000000001001
10100000000000001
10101000000000001
10110000000000001
10111000000000001
11000100000001001
11001100010001001
11010100000001001
11011100010001001
11100111000000001
11101111010000001
11110111100000001
11111111110000001

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

X2VX3X4X1X2∧V(X2∧V)∧X3((X2∧V)∧X3)∧V(((X2∧V)∧X3)∧V)∧X4¬X2¬X3X1∧V(X1∧V)∧(¬X2)((X1∧V)∧(¬X2))∧V(((X1∧V)∧(¬X2))∧V)∧(¬X3)((((X2∧V)∧X3)∧V)∧X4)∧((((X1∧V)∧(¬X2))∧V)∧(¬X3))(X2∧V∧X3∧V∧X4)∧(X1∧V∧¬X2∧V∧¬X3)⊕X2
00000000011000000
00001000011000000
00010000011000000
00011000011000000
00100000010000000
00101000010000000
00110000010000000
00111000010000000
01000000011000000
01001000011111100
01010000011000000
01011000011111100
01100000010000000
01101000010111000
01110000010000000
01111000010111000
10000000001000001
10001000001000001
10010000001000001
10011000001000001
10100000000000001
10101000000000001
10110000000000001
10111000000000001
11000100001000001
11001100001100001
11010100001000001
11011100001100001
11100111000000001
11101111000100001
11110111100000001
11111111100100001

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

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

По таблице истинности:
X2VX3X4X1F
000000
000010
000100
000110
001000
001010
001100
001110
010000
010010
010100
010110
011000
011010
011100
011110
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111001
111011
111101
111111
Fсднф = X2∧¬V∧¬X3∧¬X4∧¬X1 ∨ X2∧¬V∧¬X3∧¬X4∧X1 ∨ X2∧¬V∧¬X3∧X4∧¬X1 ∨ X2∧¬V∧¬X3∧X4∧X1 ∨ X2∧¬V∧X3∧¬X4∧¬X1 ∨ X2∧¬V∧X3∧¬X4∧X1 ∨ X2∧¬V∧X3∧X4∧¬X1 ∨ X2∧¬V∧X3∧X4∧X1 ∨ X2∧V∧¬X3∧¬X4∧¬X1 ∨ X2∧V∧¬X3∧¬X4∧X1 ∨ X2∧V∧¬X3∧X4∧¬X1 ∨ X2∧V∧¬X3∧X4∧X1 ∨ X2∧V∧X3∧¬X4∧¬X1 ∨ X2∧V∧X3∧¬X4∧X1 ∨ X2∧V∧X3∧X4∧¬X1 ∨ X2∧V∧X3∧X4∧X1
Логическая cхема:

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

По таблице истинности:
X2VX3X4X1F
000000
000010
000100
000110
001000
001010
001100
001110
010000
010010
010100
010110
011000
011010
011100
011110
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111001
111011
111101
111111
Fскнф = (X2∨V∨X3∨X4∨X1) ∧ (X2∨V∨X3∨X4∨¬X1) ∧ (X2∨V∨X3∨¬X4∨X1) ∧ (X2∨V∨X3∨¬X4∨¬X1) ∧ (X2∨V∨¬X3∨X4∨X1) ∧ (X2∨V∨¬X3∨X4∨¬X1) ∧ (X2∨V∨¬X3∨¬X4∨X1) ∧ (X2∨V∨¬X3∨¬X4∨¬X1) ∧ (X2∨¬V∨X3∨X4∨X1) ∧ (X2∨¬V∨X3∨X4∨¬X1) ∧ (X2∨¬V∨X3∨¬X4∨X1) ∧ (X2∨¬V∨X3∨¬X4∨¬X1) ∧ (X2∨¬V∨¬X3∨X4∨X1) ∧ (X2∨¬V∨¬X3∨X4∨¬X1) ∧ (X2∨¬V∨¬X3∨¬X4∨X1) ∧ (X2∨¬V∨¬X3∨¬X4∨¬X1)
Логическая cхема:

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

По таблице истинности функции
X2VX3X4X1Fж
000000
000010
000100
000110
001000
001010
001100
001110
010000
010010
010100
010110
011000
011010
011100
011110
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111001
111011
111101
111111

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

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

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

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

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

Рейтинг@Mail.ru

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