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


Промежуточные таблицы истинности:
X∧Z:
XZX∧Z
000
010
100
111

¬(X∧Z):
XZX∧Z¬(X∧Z)
0001
0101
1001
1110

¬Y:
Y¬Y
01
10

(¬Y)↓X:
YX¬Y(¬Y)↓X
0010
0110
1001
1100

((¬Y)↓X)∨Y:
YX¬Y(¬Y)↓X((¬Y)↓X)∨Y
00100
01100
10011
11001

(¬(X∧Z))⊕Z:
XZX∧Z¬(X∧Z)(¬(X∧Z))⊕Z
00011
01010
10011
11101

((¬(X∧Z))⊕Z)→(((¬Y)↓X)∨Y):
XZYX∧Z¬(X∧Z)(¬(X∧Z))⊕Z¬Y(¬Y)↓X((¬Y)↓X)∨Y((¬(X∧Z))⊕Z)→(((¬Y)↓X)∨Y)
0000111000
0010110111
0100101001
0110100111
1000111000
1010110011
1101011000
1111010011

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

XZYX∧Z¬(X∧Z)¬Y(¬Y)↓X((¬Y)↓X)∨Y(¬(X∧Z))⊕Z¬(X∧Z)⊕Z→¬Y↓X∨Y
0000110010
0010101111
0100110001
0110101101
1000110010
1010100111
1101010010
1111000111

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

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

По таблице истинности:
XZYF
0000
0011
0101
0111
1000
1011
1100
1111
Fсднф = ¬X∧¬Z∧Y ∨ ¬X∧Z∧¬Y ∨ ¬X∧Z∧Y ∨ X∧¬Z∧Y ∨ X∧Z∧Y
Логическая cхема:

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

По таблице истинности:
XZYF
0000
0011
0101
0111
1000
1011
1100
1111
Fскнф = (X∨Z∨Y) ∧ (¬X∨Z∨Y) ∧ (¬X∨¬Z∨Y)
Логическая cхема:

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

По таблице истинности функции
XZYFж
0000
0011
0101
0111
1000
1011
1100
1111

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

Так как 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 = 1 => С001 = 0 ⊕ 1 = 1
Fж(110) = С000 ⊕ С100 ⊕ С010 ⊕ С110 = 0 => С110 = 0 ⊕ 0 ⊕ 1 ⊕ 0 = 1
Fж(101) = С000 ⊕ С100 ⊕ С001 ⊕ С101 = 1 => С101 = 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(011) = С000 ⊕ С010 ⊕ С001 ⊕ С011 = 1 => С011 = 0 ⊕ 1 ⊕ 1 ⊕ 1 = 1
Fж(111) = С000 ⊕ С100 ⊕ С010 ⊕ С001 ⊕ С110 ⊕ С101 ⊕ С011 ⊕ С111 = 1 => С111 = 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 = 1

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

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

Рейтинг@Mail.ru

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