F1-27

Formy boolowskie 3

• Definicja

makstermu

:

k

k

S

X

P X

( )

( )

=

Pełniejsze oznaczenie:

n

k

S

X

( )

Np. jeśli P

4

(X) = x x x

1 2 3

to S

4

(X) =

+

+

x

x

x

1

2

3

• 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

k

) = 0 oraz S

k

(X

j

) = 1

Np. gdy

=

4

1 2

P

x x x

3

► k = 4

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

2

1

2

S

x

x

x

3

=

+

+

►

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

© J. Kalisz, WAT, 2007