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


Промежуточные таблицы истинности:
P→Q:
PQP→Q
001
011
100
111

¬Q:
Q¬Q
01
10

(¬Q)∨P:
QP¬Q(¬Q)∨P
0011
0111
1000
1101

A≡(P→Q):
APQP→QA≡(P→Q)
00010
00110
01001
01110
10011
10111
11000
11111

(A≡(P→Q))≡((¬Q)∨P):
APQP→QA≡(P→Q)¬Q(¬Q)∨P(A≡(P→Q))≡((¬Q)∨P)
00010110
00110001
01001111
01110010
10011111
10111000
11000110
11111011

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

APQP→Q¬Q(¬Q)∨PA≡(P→Q)A≡(P→Q)≡(¬Q∨P)
00011100
00110001
01001111
01110100
10011111
10110010
11001100
11110111

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

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

По таблице истинности:
APQF
0000
0011
0101
0110
1001
1010
1100
1111
Fсднф = ¬A∧¬P∧Q ∨ ¬A∧P∧¬Q ∨ A∧¬P∧¬Q ∨ A∧P∧Q
Логическая cхема:

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

По таблице истинности:
APQF
0000
0011
0101
0110
1001
1010
1100
1111
Fскнф = (A∨P∨Q) ∧ (A∨¬P∨¬Q) ∧ (¬A∨P∨¬Q) ∧ (¬A∨¬P∨Q)
Логическая cхема:

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

По таблице истинности функции
APQFж
0000
0011
0101
0110
1001
1010
1100
1111

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

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

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

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

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

Рейтинг@Mail.ru

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