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


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

C∧(¬A):
CA¬AC∧(¬A)
0010
0100
1011
1100

C∧A:
CAC∧A
000
010
100
111

(C∧(¬A))∨(C∧A):
CA¬AC∧(¬A)C∧A(C∧(¬A))∨(C∧A)
001000
010000
101101
110011

¬B:
B¬B
01
10

D∧(¬B):
DB¬BD∧(¬B)
0010
0100
1011
1100

D∧B:
DBD∧B
000
010
100
111

(D∧(¬B))↓(D∧B):
DB¬BD∧(¬B)D∧B(D∧(¬B))↓(D∧B)
001001
010001
101100
110010

¬((D∧(¬B))↓(D∧B)):
DB¬BD∧(¬B)D∧B(D∧(¬B))↓(D∧B)¬((D∧(¬B))↓(D∧B))
0010010
0100010
1011001
1100101

((C∧(¬A))∨(C∧A))∧(¬((D∧(¬B))↓(D∧B))):
CADB¬AC∧(¬A)C∧A(C∧(¬A))∨(C∧A)¬BD∧(¬B)D∧B(D∧(¬B))↓(D∧B)¬((D∧(¬B))↓(D∧B))((C∧(¬A))∨(C∧A))∧(¬((D∧(¬B))↓(D∧B)))
00001000100100
00011000000100
00101000110010
00111000001010
01000000100100
01010000000100
01100000110010
01110000001010
10001101100100
10011101000100
10101101110011
10111101001011
11000011100100
11010011000100
11100011110011
11110011001011

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

CADB¬AC∧(¬A)C∧A(C∧(¬A))∨(C∧A)¬BD∧(¬B)D∧B(D∧(¬B))↓(D∧B)¬((D∧(¬B))↓(D∧B))((C∧¬A)∨(C∧A))∧¬((D∧¬B)↓(D∧B))
00001000100100
00011000000100
00101000110010
00111000001010
01000000100100
01010000000100
01100000110010
01110000001010
10001101100100
10011101000100
10101101110011
10111101001011
11000011100100
11010011000100
11100011110011
11110011001011

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

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

По таблице истинности:
CADBF
00000
00010
00100
00110
01000
01010
01100
01110
10000
10010
10101
10111
11000
11010
11101
11111
Fсднф = C∧¬A∧D∧¬B ∨ C∧¬A∧D∧B ∨ C∧A∧D∧¬B ∨ C∧A∧D∧B
Логическая cхема:

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

По таблице истинности:
CADBF
00000
00010
00100
00110
01000
01010
01100
01110
10000
10010
10101
10111
11000
11010
11101
11111
Fскнф = (C∨A∨D∨B) ∧ (C∨A∨D∨¬B) ∧ (C∨A∨¬D∨B) ∧ (C∨A∨¬D∨¬B) ∧ (C∨¬A∨D∨B) ∧ (C∨¬A∨D∨¬B) ∧ (C∨¬A∨¬D∨B) ∧ (C∨¬A∨¬D∨¬B) ∧ (¬C∨A∨D∨B) ∧ (¬C∨A∨D∨¬B) ∧ (¬C∨¬A∨D∨B) ∧ (¬C∨¬A∨D∨¬B)
Логическая cхема:

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

По таблице истинности функции
CADBFж
00000
00010
00100
00110
01000
01010
01100
01110
10000
10010
10101
10111
11000
11010
11101
11111

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

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

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

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

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

Рейтинг@Mail.ru

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