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


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

¬X3:
X3¬X3
01
10

¬X2:
X2¬X2
01
10

¬X1:
X1¬X1
01
10

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

((¬X4)∧(¬X3))∧X2:
X4X3X2¬X4¬X3(¬X4)∧(¬X3)((¬X4)∧(¬X3))∧X2
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

(((¬X4)∧(¬X3))∧X2)∧X1:
X4X3X2X1¬X4¬X3(¬X4)∧(¬X3)((¬X4)∧(¬X3))∧X2(((¬X4)∧(¬X3))∧X2)∧X1
000011100
000111100
001011110
001111111
010010000
010110000
011010000
011110000
100001000
100101000
101001000
101101000
110000000
110100000
111000000
111100000

X4∧X2:
X4X2X4∧X2
000
010
100
111

(X4∧X2)∧X1:
X4X2X1X4∧X2(X4∧X2)∧X1
00000
00100
01000
01100
10000
10100
11010
11111

X4∧(¬X2):
X4X2¬X2X4∧(¬X2)
0010
0100
1011
1100

(X4∧(¬X2))∧(¬X1):
X4X2X1¬X2X4∧(¬X2)¬X1(X4∧(¬X2))∧(¬X1)
0001010
0011000
0100010
0110000
1001111
1011100
1100010
1110000

X4∧(¬X1):
X4X1¬X1X4∧(¬X1)
0010
0100
1011
1100

((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1):
X4X3X2X1¬X4¬X3(¬X4)∧(¬X3)((¬X4)∧(¬X3))∧X2(((¬X4)∧(¬X3))∧X2)∧X1X4∧X2(X4∧X2)∧X1((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1)
000011100000
000111100000
001011110000
001111111001
010010000000
010110000000
011010000000
011110000000
100001000000
100101000000
101001000100
101101000111
110000000000
110100000000
111000000100
111100000111

(((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1))∨((X4∧(¬X2))∧(¬X1)):
X4X3X2X1¬X4¬X3(¬X4)∧(¬X3)((¬X4)∧(¬X3))∧X2(((¬X4)∧(¬X3))∧X2)∧X1X4∧X2(X4∧X2)∧X1((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1)¬X2X4∧(¬X2)¬X1(X4∧(¬X2))∧(¬X1)(((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1))∨((X4∧(¬X2))∧(¬X1))
00001110000010100
00011110000010000
00101111000000100
00111111100100001
01001000000010100
01011000000010000
01101000000000100
01111000000000000
10000100000011111
10010100000011000
10100100010000100
10110100011100001
11000000000011111
11010000000011000
11100000010000100
11110000011100001

((((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1))∨((X4∧(¬X2))∧(¬X1)))∨(X4∧(¬X1)):
X4X3X2X1¬X4¬X3(¬X4)∧(¬X3)((¬X4)∧(¬X3))∧X2(((¬X4)∧(¬X3))∧X2)∧X1X4∧X2(X4∧X2)∧X1((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1)¬X2X4∧(¬X2)¬X1(X4∧(¬X2))∧(¬X1)(((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1))∨((X4∧(¬X2))∧(¬X1))¬X1X4∧(¬X1)((((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1))∨((X4∧(¬X2))∧(¬X1)))∨(X4∧(¬X1))
00001110000010100100
00011110000010000000
00101111000000100100
00111111100100001001
01001000000010100100
01011000000010000000
01101000000000100100
01111000000000000000
10000100000011111111
10010100000011000000
10100100010000100111
10110100011100001001
11000000000011111111
11010000000011000000
11100000010000100111
11110000011100001001

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

X4X3X2X1¬X4¬X3¬X2¬X1(¬X4)∧(¬X3)((¬X4)∧(¬X3))∧X2(((¬X4)∧(¬X3))∧X2)∧X1X4∧X2(X4∧X2)∧X1X4∧(¬X2)(X4∧(¬X2))∧(¬X1)X4∧(¬X1)((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1)(((((¬X4)∧(¬X3))∧X2)∧X1)∨((X4∧X2)∧X1))∨((X4∧(¬X2))∧(¬X1))¬X4∧¬X3∧X2∧X1∨X4∧X2∧X1∨X4∧¬X2∧¬X1∨X4∧¬X1
0000111110000000000
0001111010000000000
0010110111000000000
0011110011100000111
0100101100000000000
0101101000000000000
0110100100000000000
0111100000000000000
1000011100000111011
1001011000000100000
1010010100010001001
1011010000011000111
1100001100000111011
1101001000000100000
1110000100010001001
1111000000011000111

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

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

По таблице истинности:
X4X3X2X1F
00000
00010
00100
00111
01000
01010
01100
01110
10001
10010
10101
10111
11001
11010
11101
11111
Fсднф = ¬X4∧¬X3∧X2∧X1 ∨ X4∧¬X3∧¬X2∧¬X1 ∨ X4∧¬X3∧X2∧¬X1 ∨ X4∧¬X3∧X2∧X1 ∨ X4∧X3∧¬X2∧¬X1 ∨ X4∧X3∧X2∧¬X1 ∨ X4∧X3∧X2∧X1
Логическая cхема:

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

По таблице истинности:
X4X3X2X1F
00000
00010
00100
00111
01000
01010
01100
01110
10001
10010
10101
10111
11001
11010
11101
11111
Fскнф = (X4∨X3∨X2∨X1) ∧ (X4∨X3∨X2∨¬X1) ∧ (X4∨X3∨¬X2∨X1) ∧ (X4∨¬X3∨X2∨X1) ∧ (X4∨¬X3∨X2∨¬X1) ∧ (X4∨¬X3∨¬X2∨X1) ∧ (X4∨¬X3∨¬X2∨¬X1) ∧ (¬X4∨X3∨X2∨¬X1) ∧ (¬X4∨¬X3∨X2∨¬X1)
Логическая cхема:

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

По таблице истинности функции
X4X3X2X1Fж
00000
00010
00100
00111
01000
01010
01100
01110
10001
10010
10101
10111
11001
11010
11101
11111

Построим полином Жегалкина:
Fж = C0000 ⊕ C1000∧X4 ⊕ C0100∧X3 ⊕ C0010∧X2 ⊕ C0001∧X1 ⊕ C1100∧X4∧X3 ⊕ C1010∧X4∧X2 ⊕ C1001∧X4∧X1 ⊕ C0110∧X3∧X2 ⊕ C0101∧X3∧X1 ⊕ C0011∧X2∧X1 ⊕ C1110∧X4∧X3∧X2 ⊕ C1101∧X4∧X3∧X1 ⊕ C1011∧X4∧X2∧X1 ⊕ C0111∧X3∧X2∧X1 ⊕ C1111∧X4∧X3∧X2∧X1

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

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(1000) = С0000 ⊕ С1000 = 1 => С1000 = 0 ⊕ 1 = 1
Fж(0100) = С0000 ⊕ С0100 = 0 => С0100 = 0 ⊕ 0 = 0
Fж(0010) = С0000 ⊕ С0010 = 0 => С0010 = 0 ⊕ 0 = 0
Fж(0001) = С0000 ⊕ С0001 = 0 => С0001 = 0 ⊕ 0 = 0
Fж(1100) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С1100 = 1 => С1100 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(1010) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С1010 = 1 => С1010 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(1001) = С0000 ⊕ С1000 ⊕ С0001 ⊕ С1001 = 0 => С1001 = 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(0110) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0110 = 0 => С0110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(0101) = С0000 ⊕ С0100 ⊕ С0001 ⊕ С0101 = 0 => С0101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(0011) = С0000 ⊕ С0010 ⊕ С0001 ⊕ С0011 = 1 => С0011 = 0 ⊕ 0 ⊕ 0 ⊕ 1 = 1
Fж(1110) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С1100 ⊕ С1010 ⊕ С0110 ⊕ С1110 = 1 => С1110 = 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(1101) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0001 ⊕ С1100 ⊕ С1001 ⊕ С0101 ⊕ С1101 = 0 => С1101 = 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(1011) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С0001 ⊕ С1010 ⊕ С1001 ⊕ С0011 ⊕ С1011 = 1 => С1011 = 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 = 0
Fж(0111) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С0111 = 0 => С0111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 1
Fж(1111) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С1100 ⊕ С1010 ⊕ С1001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С1110 ⊕ С1101 ⊕ С1011 ⊕ С0111 ⊕ С1111 = 1 => С1111 = 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 1

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

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

Рейтинг@Mail.ru

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