F1-27

Formy boolowskie 3

• Definicja makstermu:

S ( X ) = P ( X ) k

k

Pełniejsze oznaczenie: n S ( X )

k

Np. jeśli P 4( X) = x x x to x

x

x

1 2 3

S 4( X) =

+

+

1

2

3

• Mintermy P (

(

k X) i makstermy Sk X) są wyrazami symbolicznymi, składającymi się z literałów.

• Przy określonym stanie X = X

( )

j ( j ∈ N) każdy minterm Pk Xj i maksterm S ( )

k Xj staje się równy 0 lub 1.

przy j ≠ k: S ( ) = 0

( ) = 1

k Xk

oraz Sk Xj

Np. gdy P =

►

4

1

x x 2 x 3

k = 4

gdy X 4 = (1,0,0) ► P 4( X 4) = 1·1·1 = 1

gdy X 2 = (0,1,0) ► P ( X ) = 0 ⋅ 0 ⋅1= 0

4

2

W makstermach literały interpretuje się dwójkowo odwrotnie niż w mintermach, co wynika z definicji makstermu!

Np. gdy = + + ►

2

S

1

x

x 2 x 3

k = 2!

gdy X 2 = (0,1,0) ► S 2( X 2) = 0 + 0 + 0 = 0

gdy X 4 = (1,0,0) ► S ( X ) = 1 + 1 + 0 = 1

2

4

© J. Kalisz, WAT, 2007