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


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

(¬X1)∨X2:
X1X2¬X1(¬X1)∨X2
0011
0111
1000
1101

¬X3:
X3¬X3
01
10

((¬X1)∨X2)∧(¬X3):
X1X2X3¬X1(¬X1)∨X2¬X3((¬X1)∨X2)∧(¬X3)
0001111
0011100
0101111
0111100
1000010
1010000
1100111
1110100

(¬X3)→(((¬X1)∨X2)∧(¬X3)):
X3X1X2¬X3¬X1(¬X1)∨X2¬X3((¬X1)∨X2)∧(¬X3)(¬X3)→(((¬X1)∨X2)∧(¬X3))
000111111
001111111
010100100
011101111
100011001
101011001
110000001
111001001

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

X3X1X2¬X1(¬X1)∨X2¬X3((¬X1)∨X2)∧(¬X3)¬X3→(¬X1∨X2)∧¬X3
00011111
00111111
01000100
01101111
10011001
10111001
11000001
11101001

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

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

По таблице истинности:
X3X1X2F
0001
0011
0100
0111
1001
1011
1101
1111
Fсднф = ¬X3∧¬X1∧¬X2 ∨ ¬X3∧¬X1∧X2 ∨ ¬X3∧X1∧X2 ∨ X3∧¬X1∧¬X2 ∨ X3∧¬X1∧X2 ∨ X3∧X1∧¬X2 ∨ X3∧X1∧X2
Логическая cхема:

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

По таблице истинности:
X3X1X2F
0001
0011
0100
0111
1001
1011
1101
1111
Fскнф = (X3∨¬X1∨X2)
Логическая cхема:

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

По таблице истинности функции
X3X1X2Fж
0001
0011
0100
0111
1001
1011
1101
1111

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

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

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

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

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

Рейтинг@Mail.ru

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