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


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

B∨A:
BAB∨A
000
011
101
111

(B∨A)→A:
BAB∨A(B∨A)→A
0001
0111
1010
1111

B→(¬B):
B¬BB→(¬B)
011
100

((B∨A)→A)≡(B→(¬B)):
BAB∨A(B∨A)→A¬BB→(¬B)((B∨A)→A)≡(B→(¬B))
0001111
0111111
1010001
1111000

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

BA¬BB∨A(B∨A)→AB→(¬B)B∨A→A≡B→¬(B)
0010111
0111111
1001001
1101100

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

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

По таблице истинности:
BAF
001
011
101
110
Fсднф = ¬B∧¬A ∨ ¬B∧A ∨ B∧¬A
Логическая cхема:

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

По таблице истинности:
BAF
001
011
101
110
Fскнф = (¬B∨¬A)
Логическая cхема:

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

По таблице истинности функции
BAFж
001
011
101
110

Построим полином Жегалкина:
Fж = C00 ⊕ C10∧B ⊕ C01∧A ⊕ C11∧B∧A

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

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(10) = С00 ⊕ С10 = 1 => С10 = 1 ⊕ 1 = 0
Fж(01) = С00 ⊕ С01 = 1 => С01 = 1 ⊕ 1 = 0
Fж(11) = С00 ⊕ С10 ⊕ С01 ⊕ С11 = 0 => С11 = 1 ⊕ 0 ⊕ 0 ⊕ 0 = 1

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

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

Рейтинг@Mail.ru

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