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


Промежуточные таблицы истинности:
A∨B:
ABA∨B
000
011
101
111

(A∨B)⊕C:
ABCA∨B(A∨B)⊕C
00000
00101
01011
01110
10011
10110
11011
11110

((A∨B)⊕C)∨C:
ABCA∨B(A∨B)⊕C((A∨B)⊕C)∨C
000000
001011
010111
011101
100111
101101
110111
111101

B⊕(((A∨B)⊕C)∨C):
BACA∨B(A∨B)⊕C((A∨B)⊕C)∨CB⊕(((A∨B)⊕C)∨C)
0000000
0010111
0101111
0111011
1001110
1011010
1101110
1111010

F≡(B⊕(((A∨B)⊕C)∨C)):
FBACA∨B(A∨B)⊕C((A∨B)⊕C)∨CB⊕(((A∨B)⊕C)∨C)F≡(B⊕(((A∨B)⊕C)∨C))
000000001
000101110
001011110
001110110
010011101
010110101
011011101
011110101
100000000
100101111
101011111
101110111
110011100
110110100
111011100
111110100

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

FBACA∨B(A∨B)⊕C((A∨B)⊕C)∨CB⊕(((A∨B)⊕C)∨C)F≡B⊕(A∨B⊕C)∨C
000000001
000101110
001011110
001110110
010011101
010110101
011011101
011110101
100000000
100101111
101011111
101110111
110011100
110110100
111011100
111110100

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

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

По таблице истинности:
FBACF
00001
00010
00100
00110
01001
01011
01101
01111
10000
10011
10101
10111
11000
11010
11100
11110
Fсднф = ¬F∧¬B∧¬A∧¬C ∨ ¬F∧B∧¬A∧¬C ∨ ¬F∧B∧¬A∧C ∨ ¬F∧B∧A∧¬C ∨ ¬F∧B∧A∧C ∨ F∧¬B∧¬A∧C ∨ F∧¬B∧A∧¬C ∨ F∧¬B∧A∧C
Логическая cхема:

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

По таблице истинности:
FBACF
00001
00010
00100
00110
01001
01011
01101
01111
10000
10011
10101
10111
11000
11010
11100
11110
Fскнф = (F∨B∨A∨¬C) ∧ (F∨B∨¬A∨C) ∧ (F∨B∨¬A∨¬C) ∧ (¬F∨B∨A∨C) ∧ (¬F∨¬B∨A∨C) ∧ (¬F∨¬B∨A∨¬C) ∧ (¬F∨¬B∨¬A∨C) ∧ (¬F∨¬B∨¬A∨¬C)
Логическая cхема:

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

По таблице истинности функции
FBACFж
00001
00010
00100
00110
01001
01011
01101
01111
10000
10011
10101
10111
11000
11010
11100
11110

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

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

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

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

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

Рейтинг@Mail.ru

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