Таблица истинности для функции (A∧B∧¬E)|(C∧B∧¬E)|(D∧¬E):


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

A∧B:
ABA∧B
000
010
100
111

(A∧B)∧(¬E):
ABEA∧B¬E(A∧B)∧(¬E)
000010
001000
010010
011000
100010
101000
110111
111100

C∧B:
CBC∧B
000
010
100
111

(C∧B)∧(¬E):
CBEC∧B¬E(C∧B)∧(¬E)
000010
001000
010010
011000
100010
101000
110111
111100

D∧(¬E):
DE¬ED∧(¬E)
0010
0100
1011
1100

((A∧B)∧(¬E))|((C∧B)∧(¬E)):
ABECA∧B¬E(A∧B)∧(¬E)C∧B¬E(C∧B)∧(¬E)((A∧B)∧(¬E))|((C∧B)∧(¬E))
00000100101
00010100101
00100000001
00110000001
01000100101
01010101111
01100000001
01110001001
10000100101
10010100101
10100000001
10110000001
11001110101
11011111110
11101000001
11111001001

(((A∧B)∧(¬E))|((C∧B)∧(¬E)))|(D∧(¬E)):
ABECDA∧B¬E(A∧B)∧(¬E)C∧B¬E(C∧B)∧(¬E)((A∧B)∧(¬E))|((C∧B)∧(¬E))¬ED∧(¬E)(((A∧B)∧(¬E))|((C∧B)∧(¬E)))|(D∧(¬E))
000000100101101
000010100101110
000100100101101
000110100101110
001000000001001
001010000001001
001100000001001
001110000001001
010000100101101
010010100101110
010100101111101
010110101111110
011000000001001
011010000001001
011100001001001
011110001001001
100000100101101
100010100101110
100100100101101
100110100101110
101000000001001
101010000001001
101100000001001
101110000001001
110001110101101
110011110101110
110101111110101
110111111110111
111001000001001
111011000001001
111101001001001
111111001001001

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

ABECD¬EA∧B(A∧B)∧(¬E)C∧B(C∧B)∧(¬E)D∧(¬E)((A∧B)∧(¬E))|((C∧B)∧(¬E))(A∧B∧¬E)|(C∧B∧¬E)|(D∧¬E)
0000010000011
0000110000110
0001010000011
0001110000110
0010000000011
0010100000011
0011000000011
0011100000011
0100010000011
0100110000110
0101010011011
0101110011110
0110000000011
0110100000011
0111000010011
0111100010011
1000010000011
1000110000110
1001010000011
1001110000110
1010000000011
1010100000011
1011000000011
1011100000011
1100011100011
1100111100110
1101011111001
1101111111101
1110001000011
1110101000011
1111001010011
1111101010011

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

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

По таблице истинности:
ABECDF
000001
000010
000101
000110
001001
001011
001101
001111
010001
010010
010101
010110
011001
011011
011101
011111
100001
100010
100101
100110
101001
101011
101101
101111
110001
110010
110101
110111
111001
111011
111101
111111
Fсднф = ¬A∧¬B∧¬E∧¬C∧¬D ∨ ¬A∧¬B∧¬E∧C∧¬D ∨ ¬A∧¬B∧E∧¬C∧¬D ∨ ¬A∧¬B∧E∧¬C∧D ∨ ¬A∧¬B∧E∧C∧¬D ∨ ¬A∧¬B∧E∧C∧D ∨ ¬A∧B∧¬E∧¬C∧¬D ∨ ¬A∧B∧¬E∧C∧¬D ∨ ¬A∧B∧E∧¬C∧¬D ∨ ¬A∧B∧E∧¬C∧D ∨ ¬A∧B∧E∧C∧¬D ∨ ¬A∧B∧E∧C∧D ∨ A∧¬B∧¬E∧¬C∧¬D ∨ A∧¬B∧¬E∧C∧¬D ∨ A∧¬B∧E∧¬C∧¬D ∨ A∧¬B∧E∧¬C∧D ∨ A∧¬B∧E∧C∧¬D ∨ A∧¬B∧E∧C∧D ∨ A∧B∧¬E∧¬C∧¬D ∨ A∧B∧¬E∧C∧¬D ∨ A∧B∧¬E∧C∧D ∨ A∧B∧E∧¬C∧¬D ∨ A∧B∧E∧¬C∧D ∨ A∧B∧E∧C∧¬D ∨ A∧B∧E∧C∧D
Логическая cхема:

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

По таблице истинности:
ABECDF
000001
000010
000101
000110
001001
001011
001101
001111
010001
010010
010101
010110
011001
011011
011101
011111
100001
100010
100101
100110
101001
101011
101101
101111
110001
110010
110101
110111
111001
111011
111101
111111
Fскнф = (A∨B∨E∨C∨¬D) ∧ (A∨B∨E∨¬C∨¬D) ∧ (A∨¬B∨E∨C∨¬D) ∧ (A∨¬B∨E∨¬C∨¬D) ∧ (¬A∨B∨E∨C∨¬D) ∧ (¬A∨B∨E∨¬C∨¬D) ∧ (¬A∨¬B∨E∨C∨¬D)
Логическая cхема:

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

По таблице истинности функции
ABECDFж
000001
000010
000101
000110
001001
001011
001101
001111
010001
010010
010101
010110
011001
011011
011101
011111
100001
100010
100101
100110
101001
101011
101101
101111
110001
110010
110101
110111
111001
111011
111101
111111

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

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

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

Таким образом, полином Жегалкина будет равен:
Fж = 1 ⊕ D ⊕ E∧D ⊕ A∧B∧C∧D ⊕ A∧B∧E∧C∧D
Логическая схема, соответствующая полиному Жегалкина:

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

Рейтинг@Mail.ru

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