Таблица истинности для функции A∨B∨¬C≡¬(¬ABC)∨AB:


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

ABCABCAB¬ABC¬C¬(¬ABC)A∨B(A∨B)∨(¬C)(¬(¬ABC))∨ABA∨B∨¬C≡¬(¬ABC)∨AB
000001100100
000011100111
000100110111
000110110111
001001000001
001011000010
001100010010
001110010010
010001101100
010011101111
010100111111
010110111111
011001001100
011011001111
011100011111
011110011111
100001101100
100011101111
100100111111
100110111111
101001001100
101011001111
101100011111
101110011111
110001101100
110011101111
110100111111
110110111111
111001001100
111011001111
111100011111
111110011111

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

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

По таблице истинности:
ABCABCABF
000000
000011
000101
000111
001001
001010
001100
001110
010000
010011
010101
010111
011000
011011
011101
011111
100000
100011
100101
100111
101000
101011
101101
101111
110000
110011
110101
110111
111000
111011
111101
111111
Fсднф = ¬A∧¬B∧¬C∧¬ABC∧AB ∨ ¬A∧¬B∧¬C∧ABC∧¬AB ∨ ¬A∧¬B∧¬C∧ABC∧AB ∨ ¬A∧¬B∧C∧¬ABC∧¬AB ∨ ¬A∧B∧¬C∧¬ABC∧AB ∨ ¬A∧B∧¬C∧ABC∧¬AB ∨ ¬A∧B∧¬C∧ABC∧AB ∨ ¬A∧B∧C∧¬ABC∧AB ∨ ¬A∧B∧C∧ABC∧¬AB ∨ ¬A∧B∧C∧ABC∧AB ∨ A∧¬B∧¬C∧¬ABC∧AB ∨ A∧¬B∧¬C∧ABC∧¬AB ∨ A∧¬B∧¬C∧ABC∧AB ∨ A∧¬B∧C∧¬ABC∧AB ∨ A∧¬B∧C∧ABC∧¬AB ∨ A∧¬B∧C∧ABC∧AB ∨ A∧B∧¬C∧¬ABC∧AB ∨ A∧B∧¬C∧ABC∧¬AB ∨ A∧B∧¬C∧ABC∧AB ∨ A∧B∧C∧¬ABC∧AB ∨ A∧B∧C∧ABC∧¬AB ∨ A∧B∧C∧ABC∧AB
Логическая cхема:

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

По таблице истинности:
ABCABCABF
000000
000011
000101
000111
001001
001010
001100
001110
010000
010011
010101
010111
011000
011011
011101
011111
100000
100011
100101
100111
101000
101011
101101
101111
110000
110011
110101
110111
111000
111011
111101
111111
Fскнф = (A∨B∨C∨ABC∨AB) ∧ (A∨B∨¬C∨ABC∨¬AB) ∧ (A∨B∨¬C∨¬ABC∨AB) ∧ (A∨B∨¬C∨¬ABC∨¬AB) ∧ (A∨¬B∨C∨ABC∨AB) ∧ (A∨¬B∨¬C∨ABC∨AB) ∧ (¬A∨B∨C∨ABC∨AB) ∧ (¬A∨B∨¬C∨ABC∨AB) ∧ (¬A∨¬B∨C∨ABC∨AB) ∧ (¬A∨¬B∨¬C∨ABC∨AB)
Логическая cхема:

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

По таблице истинности функции
ABCABCABFж
000000
000011
000101
000111
001001
001010
001100
001110
010000
010011
010101
010111
011000
011011
011101
011111
100000
100011
100101
100111
101000
101011
101101
101111
110000
110011
110101
110111
111000
111011
111101
111111

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

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

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

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

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

Рейтинг@Mail.ru

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