Таблица истинности для функции ¬((A⊕B)↓(A∧V∧B))∧(A→C):


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

A∧V:
AVA∧V
000
010
100
111

(A∧V)∧B:
AVBA∧V(A∧V)∧B
00000
00100
01000
01100
10000
10100
11010
11111

(A⊕B)↓((A∧V)∧B):
ABVA⊕BA∧V(A∧V)∧B(A⊕B)↓((A∧V)∧B)
0000001
0010001
0101000
0111000
1001000
1011100
1100001
1110110

A→C:
ACA→C
001
011
100
111

¬((A⊕B)↓((A∧V)∧B)):
ABVA⊕BA∧V(A∧V)∧B(A⊕B)↓((A∧V)∧B)¬((A⊕B)↓((A∧V)∧B))
00000010
00100010
01010001
01110001
10010001
10111001
11000010
11101101

(¬((A⊕B)↓((A∧V)∧B)))∧(A→C):
ABVCA⊕BA∧V(A∧V)∧B(A⊕B)↓((A∧V)∧B)¬((A⊕B)↓((A∧V)∧B))A→C(¬((A⊕B)↓((A∧V)∧B)))∧(A→C)
00000001010
00010001010
00100001010
00110001010
01001000111
01011000111
01101000111
01111000111
10001000100
10011000111
10101100100
10111100111
11000001000
11010001010
11100110100
11110110111

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

ABVCA⊕BA∧V(A∧V)∧B(A⊕B)↓((A∧V)∧B)A→C¬((A⊕B)↓((A∧V)∧B))¬((A⊕B)↓(A∧V∧B))∧(A→C)
00000001100
00010001100
00100001100
00110001100
01001000111
01011000111
01101000111
01111000111
10001000010
10011000111
10101100010
10111100111
11000001000
11010001100
11100110010
11110110111

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

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

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

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

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

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

По таблице истинности функции
ABVCFж
00000
00010
00100
00110
01001
01011
01101
01111
10000
10011
10100
10111
11000
11010
11100
11111

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

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

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

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

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

Рейтинг@Mail.ru

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