Таблица истинности для функции A∨U∨B∧C∧D:


Промежуточные таблицы истинности:
B∧C:
BCB∧C
000
010
100
111

(B∧C)∧D:
BCDB∧C(B∧C)∧D
00000
00100
01000
01100
10000
10100
11010
11111

A∨U:
AUA∨U
000
011
101
111

(A∨U)∨((B∧C)∧D):
AUBCDA∨UB∧C(B∧C)∧D(A∨U)∨((B∧C)∧D)
000000000
000010000
000100000
000110000
001000000
001010000
001100100
001110111
010001001
010011001
010101001
010111001
011001001
011011001
011101101
011111111
100001001
100011001
100101001
100111001
101001001
101011001
101101101
101111111
110001001
110011001
110101001
110111001
111001001
111011001
111101101
111111111

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

AUBCDB∧C(B∧C)∧DA∨UA∨U∨B∧C∧D
000000000
000010000
000100000
000110000
001000000
001010000
001101000
001111101
010000011
010010011
010100011
010110011
011000011
011010011
011101011
011111111
100000011
100010011
100100011
100110011
101000011
101010011
101101011
101111111
110000011
110010011
110100011
110110011
111000011
111010011
111101011
111111111

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

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

По таблице истинности:
AUBCDF
000000
000010
000100
000110
001000
001010
001100
001111
010001
010011
010101
010111
011001
011011
011101
011111
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111001
111011
111101
111111
Fсднф = ¬A∧¬U∧B∧C∧D ∨ ¬A∧U∧¬B∧¬C∧¬D ∨ ¬A∧U∧¬B∧¬C∧D ∨ ¬A∧U∧¬B∧C∧¬D ∨ ¬A∧U∧¬B∧C∧D ∨ ¬A∧U∧B∧¬C∧¬D ∨ ¬A∧U∧B∧¬C∧D ∨ ¬A∧U∧B∧C∧¬D ∨ ¬A∧U∧B∧C∧D ∨ A∧¬U∧¬B∧¬C∧¬D ∨ A∧¬U∧¬B∧¬C∧D ∨ A∧¬U∧¬B∧C∧¬D ∨ A∧¬U∧¬B∧C∧D ∨ A∧¬U∧B∧¬C∧¬D ∨ A∧¬U∧B∧¬C∧D ∨ A∧¬U∧B∧C∧¬D ∨ A∧¬U∧B∧C∧D ∨ A∧U∧¬B∧¬C∧¬D ∨ A∧U∧¬B∧¬C∧D ∨ A∧U∧¬B∧C∧¬D ∨ A∧U∧¬B∧C∧D ∨ A∧U∧B∧¬C∧¬D ∨ A∧U∧B∧¬C∧D ∨ A∧U∧B∧C∧¬D ∨ A∧U∧B∧C∧D
Логическая cхема:

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

По таблице истинности:
AUBCDF
000000
000010
000100
000110
001000
001010
001100
001111
010001
010011
010101
010111
011001
011011
011101
011111
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111001
111011
111101
111111
Fскнф = (A∨U∨B∨C∨D) ∧ (A∨U∨B∨C∨¬D) ∧ (A∨U∨B∨¬C∨D) ∧ (A∨U∨B∨¬C∨¬D) ∧ (A∨U∨¬B∨C∨D) ∧ (A∨U∨¬B∨C∨¬D) ∧ (A∨U∨¬B∨¬C∨D)
Логическая cхема:

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

По таблице истинности функции
AUBCDFж
000000
000010
000100
000110
001000
001010
001100
001111
010001
010011
010101
010111
011001
011011
011101
011111
100001
100011
100101
100111
101001
101011
101101
101111
110001
110011
110101
110111
111001
111011
111101
111111

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

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

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

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

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

Рейтинг@Mail.ru

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