Таблица истинности для функции F∧(X1∧X2)≡¬(¬X1∨¬X2)∧X1∨¬X1:


Промежуточные таблицы истинности:
X1∧X2:
X1X2X1∧X2
000
010
100
111

¬X1:
X1¬X1
01
10

¬X2:
X2¬X2
01
10

(¬X1)∨(¬X2):
X1X2¬X1¬X2(¬X1)∨(¬X2)
00111
01101
10011
11000

¬((¬X1)∨(¬X2)):
X1X2¬X1¬X2(¬X1)∨(¬X2)¬((¬X1)∨(¬X2))
001110
011010
100110
110001

F∧(X1∧X2):
FX1X2X1∧X2F∧(X1∧X2)
00000
00100
01000
01110
10000
10100
11000
11111

(¬((¬X1)∨(¬X2)))∧X1:
X1X2¬X1¬X2(¬X1)∨(¬X2)¬((¬X1)∨(¬X2))(¬((¬X1)∨(¬X2)))∧X1
0011100
0110100
1001100
1100011

((¬((¬X1)∨(¬X2)))∧X1)∨(¬X1):
X1X2¬X1¬X2(¬X1)∨(¬X2)¬((¬X1)∨(¬X2))(¬((¬X1)∨(¬X2)))∧X1¬X1((¬((¬X1)∨(¬X2)))∧X1)∨(¬X1)
001110011
011010011
100110000
110001101

(F∧(X1∧X2))≡(((¬((¬X1)∨(¬X2)))∧X1)∨(¬X1)):
FX1X2X1∧X2F∧(X1∧X2)¬X1¬X2(¬X1)∨(¬X2)¬((¬X1)∨(¬X2))(¬((¬X1)∨(¬X2)))∧X1¬X1((¬((¬X1)∨(¬X2)))∧X1)∨(¬X1)(F∧(X1∧X2))≡(((¬((¬X1)∨(¬X2)))∧X1)∨(¬X1))
0000011100110
0010010100110
0100001100001
0111000011010
1000011100110
1010010100110
1100001100001
1111100011011

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

FX1X2X1∧X2¬X1¬X2(¬X1)∨(¬X2)¬((¬X1)∨(¬X2))F∧(X1∧X2)(¬((¬X1)∨(¬X2)))∧X1((¬((¬X1)∨(¬X2)))∧X1)∨(¬X1)F∧(X1∧X2)≡¬(¬X1∨¬X2)∧X1∨¬X1
000011100010
001010100010
010001100001
011100010110
100011100010
101010100010
110001100001
111100011111

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

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

По таблице истинности:
FX1X2F
0000
0010
0101
0110
1000
1010
1101
1111
Fсднф = ¬F∧X1∧¬X2 ∨ F∧X1∧¬X2 ∨ F∧X1∧X2
Логическая cхема:

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

По таблице истинности:
FX1X2F
0000
0010
0101
0110
1000
1010
1101
1111
Fскнф = (F∨X1∨X2) ∧ (F∨X1∨¬X2) ∧ (F∨¬X1∨¬X2) ∧ (¬F∨X1∨X2) ∧ (¬F∨X1∨¬X2)
Логическая cхема:

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

По таблице истинности функции
FX1X2Fж
0000
0010
0101
0110
1000
1010
1101
1111

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

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

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

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

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

Рейтинг@Mail.ru

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