Скачиваний:
45
Добавлен:
09.05.2014
Размер:
723.46 Кб
Скачать
  1. Факторизация и декомпозиция булевой функции.

а) Факторизация и декомпозиция МДНФ

_ _ _ _ _ _ _

  1. ƒ = X1X2X4X5 v X1X2X3X4 v X1X3X4X5 v X1X2X5 v X1X2X3 v X1X2X4 ; SQ = 27

_ _ _ _ _ _ _ _ _ _

ƒ = X1X2X4 (X5 v X3) v X1X2(X5 v X3)v X1(X3X4X5 v X2X4) = (X5 v X3)( X1X2X4 v X1X2)v X1(X3X4X5 v X2X4);

SQ = 22

_ _ _

Z = X5 v X3 Z = X5X3 SQz = 3

_ _ _ _

ƒ = Z( X1X2X4 v X1X2)v X1(ZX4v X2X4); SQ = 22

Декомпозиция не даёт выигрыша в цене схемы, поэтому в данном случае она нецелесообразна.

_ _ _ _ _ _ _

  1. ƒ = X1X2X4X5 v X1X2X3X4 v X1X3X4X5 v X1X4X5 v X1X2X4 v X1X3X4 ; SQ = 27

_ _ _ _ _ _ _ _ _ _

ƒ = X1X2X4 (X5 v X3) v X1X4(X5 v X3)v X1(X3X4X5 v X2X4) = (X5 v X3)( X1X2X4 v X1X4)v X1(X3X4X5 v X2X4);

SQ = 22

_ _ _

Z = X5 v X3 Z = X5X3 SQz = 3

_ _ _ _

ƒ = Z( X1X2X4 v X1X4)v X1(ZX4v X2X4); SQ = 22

Декомпозиция не даёт выигрыша в цене схемы, поэтому в данном случае она нецелесообразна.

_ _ _ _ _ _ _ _

  1. ƒ = X1X2X4X5 v X1X2X3X4 v X1X3X4X5 v X1X4X5 v X1X2X4 v X1X2X3 v X1X2X4 ; SQ = 31

_ _ _ _ _ _ _

ƒ = X1X2X4 (X5 v X3) v X1X3X4X5 v X1X4(X5 v X2) v X1X2(X4 v X3) = X1X2X4 (X5 v X3) v X1(X3X4X5 v

_ _

X4(X5 v X2) v X2(X4 v X3)); SQ = 25

Декомпозиция нецелесообразна.

_ _ _ _ _ _ _ _

  1. ƒ = X1X2X4X5 v X1X2X3X4 v X1X3X4X5 v X1X2X5 v X1X2X4 v X1X2X3 v X1X2X4 ; SQ = 31

_ _ _ _ _ _ _

ƒ = X1X2X4 (X5 v X3) v X1X4(X5X3v X2) v X1X2(X5 v X3) v X1X2X4 = (X5 v X3) (X1X2X4 v

_ _ _ _ _ _ _ _

X1X2) v X1X4(X3X5 v X2) v X1X2X4 =(X5 v X3) (X1X2X4 v X1X2) v X1(X4(X3X5 v X2) v X2X4; SQ = 25

Декомпозиция нецелесообразна.

б) Факторизация и декомпозиция МКНФ

_ _ _ _ _ _ _ _

ƒ = (X1 v X2) (X1 v X4) (X1 v X3 v X5) (X2 v X3 v X4 v X5) (X1 v X2 v X4 v X5) (X1 v X2 v X3 v X4) SQ = 25

_ _ _ _ _

ƒ = (X1 v X2X4(X3 v X5))(X2 v X3 v X4 v X5)( X1 v X2 v X4 v X3X5) SQ = 22

_ _ _

Z = X3 v X5 Z = X3X5 SQ = 3

_ _ _ _

ƒ = (X1 v X2X4Z)(X2 v Z v X4)( X1 v X2 v X4 v Z) SQ = 15

_ _ _ _

W = X2X4Z W = X2 v X4 v Z SQ = 4

_ _

ƒ = (X1 v W)(X2 v Z v X4)( X1 v W) SQ = 10

SQ общ= 17