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


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

¬B:
B¬B
01
10

(¬A)∨(¬B):
AB¬A¬B(¬A)∨(¬B)
00111
01101
10011
11000

A∨(¬B):
AB¬BA∨(¬B)
0011
0100
1011
1101

((¬A)∨(¬B))↓(A∨(¬B)):
AB¬A¬B(¬A)∨(¬B)¬BA∨(¬B)((¬A)∨(¬B))↓(A∨(¬B))
00111110
01101000
10011110
11000010

A→B:
ABA→B
001
011
100
111

¬(A→B):
ABA→B¬(A→B)
0010
0110
1001
1110

(¬A)∨B:
AB¬A(¬A)∨B
0011
0111
1000
1101

(¬(A→B))→((¬A)∨B):
ABA→B¬(A→B)¬A(¬A)∨B(¬(A→B))→((¬A)∨B)
0010111
0110111
1001000
1110011

(((¬A)∨(¬B))↓(A∨(¬B)))∨((¬(A→B))→((¬A)∨B)):
AB¬A¬B(¬A)∨(¬B)¬BA∨(¬B)((¬A)∨(¬B))↓(A∨(¬B))A→B¬(A→B)¬A(¬A)∨B(¬(A→B))→((¬A)∨B)(((¬A)∨(¬B))↓(A∨(¬B)))∨((¬(A→B))→((¬A)∨B))
00111110101111
01101000101111
10011110010000
11000010100111

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

AB¬A¬B(¬A)∨(¬B)A∨(¬B)((¬A)∨(¬B))↓(A∨(¬B))A→B¬(A→B)(¬A)∨B(¬(A→B))→((¬A)∨B)((¬A∨¬B)↓(A∨¬B))∨((¬(A→B))→(¬A∨B))
001111010111
011010010111
100111001000
110001010111

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

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

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

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

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

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

По таблице истинности функции
ABFж
001
011
100
111

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

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

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

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

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

Рейтинг@Mail.ru

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