Множество существенных имплицент:

Минимальные покрытия функции:

T = Cmin (f) =

00xxx 0xx0x 0x0x0 x0000 11x11 1111x

S^a = 19, S^b = 25.

_ _ _ _ _ _ _ _

ƒ = (X₁ v X₂) (X₁ v X₄) (X₁ v X₃ v X₅) (X₂ v X₃ v X₄ v X₅) (X₁ v X₂ v X₄ v X₅) (X₁ v X₂ v X₃ v X₄)

4. Минимизация булевой функции на картах Карно.

Единичные покрытия

Cmin(f) =

T A C = E G I

01x11 0111x 1x010 10xx1 10x1x 1x10x 11x0x

S^a = 24, S^b = 31.

_ _ _ _ _ _ _ _

ƒ = X₁X₂X₄X₅ v X₁X₂X₃X₄ v X₁X₃X₄X₅ v X₁X₂X₅ v X₁X₂X₄ v X₁X₃X₄ v X₁X₂X₄ ;

Cmin(f) =

T B C = E F I

01x11 0111x 110x0 10xx1 10x1x 101xx 11x0x

S^a = 24, S^b = 31.

_ _ _ _ _ _ _ _

ƒ = X₁X₂X₄X₅ v X₁X₂X₃X₄ v X₁X₃X₄X₅ v X₁X₂X₅ v X₁X₂X₄ v X₁X₂X₃ v X₁X₂X₄ ;

Cmin(f) =

T B D = E F I

01x11 0111x 110x0 1xx01 10x1x 101xx 11x0x

S^a = 24, S^b = 31.

_ _ _ _ _ _ _ _

ƒ = X₁X₂X₄X₅ v X₁X₂X₃X₄ v X₁X₃X₄X₅ v X₁X₄X₅ v X₁X₂X₄ v X₁X₂X₃ v X₁X₂X₄ ;

Cmin(f) =

T B D = E G

01x11 0111x 110x0 1xx01 10x1x 1x10x

S^a = 21, S^b = 27.

_ _ _ _ _ _ _

ƒ = X₁X₂X₄X₅ v X₁X₂X₃X₄ v X₁X₃X₄X₅ v X₁X₄X₅ v X₁X₂X₄ v X₁X₃X₄ ;

Cmin(f) =

T A C = F I

01x11 0111x 1x010 10xx1 101xx 11x0x

S^a = 21, S^b = 27.

_ _ _ _ _ _ _

ƒ = X₁X₂X₄X₅ v X₁X₂X₃X₄ v X₁X₃X₄X₅ v X₁X₂X₅ v X₁X₂X₃ v X₁X₂X₄ ;

Нулевые покрытия

T = Cmin (f) =

00xxx 0xx0x 0x0x0 x0000 11x11 1111x

S^a = 19, S^b = 25.

_ _ _ _ _ _ _ _

ƒ = (X₁ v X₂) (X₁ v X₄) (X₁ v X₃ v X₅) (X₂ v X₃ v X₄ v X₅) (X₁ v X₂ v X₄ v X₅) (X₁ v X₂ v X₃ v X₄)