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


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

X∧(¬Z):
XZ¬ZX∧(¬Z)
0010
0100
1011
1100

¬(X∧(¬Z)):
XZ¬ZX∧(¬Z)¬(X∧(¬Z))
00101
01001
10110
11001

Z→(¬(X∧(¬Z))):
ZX¬ZX∧(¬Z)¬(X∧(¬Z))Z→(¬(X∧(¬Z)))
001011
011101
100011
110011

X∨Z:
XZX∨Z
000
011
101
111

¬(X∨Z):
XZX∨Z¬(X∨Z)
0001
0110
1010
1110

(¬(X∨Z))∨X:
XZX∨Z¬(X∨Z)(¬(X∨Z))∨X
00011
01100
10101
11101

((¬(X∨Z))∨X)∨X:
XZX∨Z¬(X∨Z)(¬(X∨Z))∨X((¬(X∨Z))∨X)∨X
000111
011000
101011
111011

(Z→(¬(X∧(¬Z))))→(((¬(X∨Z))∨X)∨X):
ZX¬ZX∧(¬Z)¬(X∧(¬Z))Z→(¬(X∧(¬Z)))X∨Z¬(X∨Z)(¬(X∨Z))∨X((¬(X∨Z))∨X)∨X(Z→(¬(X∧(¬Z))))→(((¬(X∨Z))∨X)∨X)
00101101111
01110110111
10001110000
11001110111

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

ZX¬ZX∧(¬Z)¬(X∧(¬Z))Z→(¬(X∧(¬Z)))X∨Z¬(X∨Z)(¬(X∨Z))∨X((¬(X∨Z))∨X)∨X(Z→¬(X∧¬Z))→(¬(X∨Z)∨X∨X)
00101101111
01110110111
10001110000
11001110111

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

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

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

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

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

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

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

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

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

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

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

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

Рейтинг@Mail.ru

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