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


Промежуточные таблицы истинности:
C∧B:
CBC∧B
000
010
100
111

A∨B:
ABA∨B
000
011
101
111

¬A:
A¬A
01
10

¬B:
B¬B
01
10

B∧(¬A):
BA¬AB∧(¬A)
0010
0100
1011
1100

(C∧B)∧(A∨B):
CBAC∧BA∨B(C∧B)∧(A∨B)
000000
001010
010010
011010
100000
101010
110111
111111

(¬B)∧C:
BC¬B(¬B)∧C
0010
0111
1000
1100

((C∧B)∧(A∨B))→((¬B)∧C):
CBAC∧BA∨B(C∧B)∧(A∨B)¬B(¬B)∧C((C∧B)∧(A∨B))→((¬B)∧C)
000000101
001010101
010010001
011010001
100000111
101010111
110111000
111111000

(B∧(¬A))≡(((C∧B)∧(A∨B))→((¬B)∧C)):
BAC¬AB∧(¬A)C∧BA∨B(C∧B)∧(A∨B)¬B(¬B)∧C((C∧B)∧(A∨B))→((¬B)∧C)(B∧(¬A))≡(((C∧B)∧(A∨B))→((¬B)∧C))
000100001010
001100001110
010000101010
011000101110
100110100011
101111110000
110000100010
111001110001

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

BACC∧BA∨B¬A¬BB∧(¬A)(C∧B)∧(A∨B)(¬B)∧C((C∧B)∧(A∨B))→((¬B)∧C)B∧¬A≡(C∧B)∧(A∨B)→¬B∧C
000001100010
001001100110
010010100010
011010100110
100011010011
101111011000
110010000010
111110001001

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

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

По таблице истинности:
BACF
0000
0010
0100
0110
1001
1010
1100
1111
Fсднф = B∧¬A∧¬C ∨ B∧A∧C
Логическая cхема:

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

По таблице истинности:
BACF
0000
0010
0100
0110
1001
1010
1100
1111
Fскнф = (B∨A∨C) ∧ (B∨A∨¬C) ∧ (B∨¬A∨C) ∧ (B∨¬A∨¬C) ∧ (¬B∨A∨¬C) ∧ (¬B∨¬A∨C)
Логическая cхема:

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

По таблице истинности функции
BACFж
0000
0010
0100
0110
1001
1010
1100
1111

Построим полином Жегалкина:
Fж = C000 ⊕ C100∧B ⊕ C010∧A ⊕ C001∧C ⊕ C110∧B∧A ⊕ C101∧B∧C ⊕ C011∧A∧C ⊕ C111∧B∧A∧C

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

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(100) = С000 ⊕ С100 = 1 => С100 = 0 ⊕ 1 = 1
Fж(010) = С000 ⊕ С010 = 0 => С010 = 0 ⊕ 0 = 0
Fж(001) = С000 ⊕ С001 = 0 => С001 = 0 ⊕ 0 = 0
Fж(110) = С000 ⊕ С100 ⊕ С010 ⊕ С110 = 0 => С110 = 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(101) = С000 ⊕ С100 ⊕ С001 ⊕ С101 = 0 => С101 = 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(011) = С000 ⊕ С010 ⊕ С001 ⊕ С011 = 0 => С011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(111) = С000 ⊕ С100 ⊕ С010 ⊕ С001 ⊕ С110 ⊕ С101 ⊕ С011 ⊕ С111 = 1 => С111 = 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 1 = 0

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

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

Рейтинг@Mail.ru

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