Таблица истинности для функции (Y⊕X)→(¬X≡¬Y):


Промежуточные таблицы истинности:
Y⊕X:
YXY⊕X
000
011
101
110

¬X:
X¬X
01
10

¬Y:
Y¬Y
01
10

(¬X)≡(¬Y):
XY¬X¬Y(¬X)≡(¬Y)
00111
01100
10010
11001

(Y⊕X)→((¬X)≡(¬Y)):
YXY⊕X¬X¬Y(¬X)≡(¬Y)(Y⊕X)→((¬X)≡(¬Y))
0001111
0110100
1011000
1100011

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

YXY⊕X¬X¬Y(¬X)≡(¬Y)(Y⊕X)→(¬X≡¬Y)
0001111
0110100
1011000
1100011

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

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

По таблице истинности:
YXF
001
010
100
111
Fсднф = ¬Y∧¬X ∨ Y∧X
Логическая cхема:

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

По таблице истинности:
YXF
001
010
100
111
Fскнф = (Y∨¬X) ∧ (¬Y∨X)
Логическая cхема:

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

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

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

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

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

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

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

Рейтинг@Mail.ru

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