Таблица истинности для функции (A0∨(¬B0))∧(A1∨(¬B1))∧(B0∨(¬A0))∧(B1∨(¬A1)):


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

A0∨(¬B0):
A0B0¬B0A0∨(¬B0)
0011
0100
1011
1101

¬B1:
B1¬B1
01
10

A1∨(¬B1):
A1B1¬B1A1∨(¬B1)
0011
0100
1011
1101

¬A0:
A0¬A0
01
10

B0∨(¬A0):
B0A0¬A0B0∨(¬A0)
0011
0100
1011
1101

¬A1:
A1¬A1
01
10

B1∨(¬A1):
B1A1¬A1B1∨(¬A1)
0011
0100
1011
1101

(A0∨(¬B0))∧(A1∨(¬B1)):
A0B0A1B1¬B0A0∨(¬B0)¬B1A1∨(¬B1)(A0∨(¬B0))∧(A1∨(¬B1))
000011111
000111000
001011111
001111011
010000110
010100000
011000110
011100010
100011111
100111000
101011111
101111011
110001111
110101000
111001111
111101011

((A0∨(¬B0))∧(A1∨(¬B1)))∧(B0∨(¬A0)):
A0B0A1B1¬B0A0∨(¬B0)¬B1A1∨(¬B1)(A0∨(¬B0))∧(A1∨(¬B1))¬A0B0∨(¬A0)((A0∨(¬B0))∧(A1∨(¬B1)))∧(B0∨(¬A0))
000011111111
000111000110
001011111111
001111011111
010000110110
010100000110
011000110110
011100010110
100011111000
100111000000
101011111000
101111011000
110001111011
110101000010
111001111011
111101011011

(((A0∨(¬B0))∧(A1∨(¬B1)))∧(B0∨(¬A0)))∧(B1∨(¬A1)):
A0B0A1B1¬B0A0∨(¬B0)¬B1A1∨(¬B1)(A0∨(¬B0))∧(A1∨(¬B1))¬A0B0∨(¬A0)((A0∨(¬B0))∧(A1∨(¬B1)))∧(B0∨(¬A0))¬A1B1∨(¬A1)(((A0∨(¬B0))∧(A1∨(¬B1)))∧(B0∨(¬A0)))∧(B1∨(¬A1))
000011111111111
000111000110110
001011111111000
001111011111011
010000110110110
010100000110110
011000110110000
011100010110010
100011111000110
100111000000110
101011111000000
101111011000010
110001111011111
110101000010110
111001111011000
111101011011011

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

A0B0A1B1¬B0A0∨(¬B0)¬B1A1∨(¬B1)¬A0B0∨(¬A0)¬A1B1∨(¬A1)(A0∨(¬B0))∧(A1∨(¬B1))((A0∨(¬B0))∧(A1∨(¬B1)))∧(B0∨(¬A0))(A0∨(¬B0))∧(A1∨(¬B1))∧(B0∨(¬A0))∧(B1∨(¬A1))
000011111111111
000111001111000
001011111100110
001111011101111
010000111111000
010100001111000
011000111100000
011100011101000
100011110011100
100111000011000
101011110000100
101111010001100
110001110111111
110101000111000
111001110100110
111101010101111

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

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

По таблице истинности:
A0B0A1B1F
00001
00010
00100
00111
01000
01010
01100
01110
10000
10010
10100
10110
11001
11010
11100
11111
Fсднф = ¬A0∧¬B0∧¬A1∧¬B1 ∨ ¬A0∧¬B0∧A1∧B1 ∨ A0∧B0∧¬A1∧¬B1 ∨ A0∧B0∧A1∧B1
Логическая cхема:

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

По таблице истинности:
A0B0A1B1F
00001
00010
00100
00111
01000
01010
01100
01110
10000
10010
10100
10110
11001
11010
11100
11111
Fскнф = (A0∨B0∨A1∨¬B1) ∧ (A0∨B0∨¬A1∨B1) ∧ (A0∨¬B0∨A1∨B1) ∧ (A0∨¬B0∨A1∨¬B1) ∧ (A0∨¬B0∨¬A1∨B1) ∧ (A0∨¬B0∨¬A1∨¬B1) ∧ (¬A0∨B0∨A1∨B1) ∧ (¬A0∨B0∨A1∨¬B1) ∧ (¬A0∨B0∨¬A1∨B1) ∧ (¬A0∨B0∨¬A1∨¬B1) ∧ (¬A0∨¬B0∨A1∨¬B1) ∧ (¬A0∨¬B0∨¬A1∨B1)
Логическая cхема:

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

По таблице истинности функции
A0B0A1B1Fж
00001
00010
00100
00111
01000
01010
01100
01110
10000
10010
10100
10110
11001
11010
11100
11111

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

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

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

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

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

Рейтинг@Mail.ru

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