F1-27

© J. Kalisz, WAT, 2008

Formy boolowskie 3

• Definicja

makstermu

:

l

k

k

S X

P X

( )

( )

=

Pełniejsze oznaczenie:

n

k

S

X

( )

Np. jeśli P

4

(X) =

l

l

2

x x x

1 0

to S

4

(X) =

+

+

l

x

x

x

2

1

0

• Mintermy P

k

(X) i makstermy S

k

(X) są wyrazami

symbolicznymi

, składającymi się z

literałów

.

• Przy określonym stanie X = X

j

(j

∈ N) każdy minterm P

k

(X

j

) i

maksterm S

k

(X

j

) staje się równy 0 lub 1.

przy j ≠ k: S

k

(X

j

) = 1 oraz S

k

(X

k

) = 0

Np. gdy

► k = 4

=

l

l

P

x x x

4

2 1 0

gdy X

4

= (1,0,0) ► P

4

(X

4

) = 1·1·1 = 1

gdy X

2

= (0,1,0) ►

= ⋅ ⋅ =

4

2

(

) 0 0 1

P X

0

W makstermach literały interpretuje się dwójkowo odwrotnie
niż w mintermach

, co wynika z definicji makstermu!

Np. gdy

=

+

+

l

S

x

x

x

2

2

1

0

►

k =

2!

gdy X

2

= (0,1,0) ► S

2

(X

2

) = 0 + 0 + 0 = 0

gdy X

4

= (1,0,0) ►

2

4

(

)

S X

= 1 + 1 + 0 = 1