Forma cannica disyuntiva

Forma cannica disyuntiva = suma de mintrminos Mintrmino: trmino producto en el que aparecen todas las variables de la funcin expresada. Para funciones de 3 variables, los mintrminos posibles son: _ _ _ _ _ _ _ _
x1 x 2 x 3 _ _ x1 x 2 x 3 x1 x2 x3 _ x1 x2 x3 x1 x2 x3 _ x1 x2 x3 x1 x2 x3 x1 x2 x3

Forma cannica disyuntiva (2)

Ejemplo: Expresar f(x1x2x3) en forma cannica disyuntiva (suma de mintrminos), algebraicamente y en notacin-m.
x 1x2x3 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 f(x1x2x3) 0 1 1 1 0 0 1 0

Para una combinacin de valores de las variables, slo uno de los mintrminos toma el valor 1. La entrada o combinacin que pone a 1 a cada mintrmino:
Vale 1 si

Solucin:
Notacin-m

Mintrmino

x 1x2x3 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1

_ x1 _ x1 _ x1 _ x1 x1 x1 x1 x1

_ x2 _ x2 x2 x2 _ x2 _ x2 x2 x2

_ x3 x3 _ x3 x3 _ x3 x3 _ x3 x3

m0 m1 m2 m3 m4 m5 m6 m7

x1x 2x3

f(x1x2x 3) 0 1 1 1 0 0 1 0

Mintrmino

Notacin-m

1 x1

1 0 _ x2 x3

Notacin-m: f = mi + m j + mk + ... = (i, j, k, ...) La forma cannica disyuntiva es nica. Toda expresin puede ser descrita en forma cannica disyuntiva.

0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

_ x1 _ x1 _ x1

_ x2 x2 x2

x3 _ x3 x3

m1 m2 m3

_ x1 x2 x3

m6

_ _ _ _ _ _ f = x1 x2 x3 + x1 x2 x 3 + x1 x 2 x3 + x1 x2 x3 f = m1 + m2 + m3 + m6 = (1, 2, 3, 6)

Forma cannica conjuntiva

Forma cannica conjuntiva= producto de maxtrminos Maxtrmino: trmino suma en el que aparecen todas las variables de la funcin expresada. Para funciones de 3 variables, los maxtrminos posibles son: _ _ _ _
x1+x 2+x 3 _ x1+x 2+x 3 x1+x2+x3 _ _ x1+x2+x3 x 1+x 2+x 3 _ _ x 1+x 2+x 3 x1+x 2+x 3 _ _ _ x1+x 2+x 3

Forma cannica conjuntiva (2)

Ejemplo: Expresar f(x1x2x3) en forma cannica conjuntiva (producto de maxtrminos), algebraicamente y en notacin-M.
x 1x2x3 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 f(x1x2x3) 0 1 1 1 0 0 1 0

Para una combinacin de valores de las variables, slo uno de los maxtrminos toma el valor 0. La entrada o combinacin que pone a 0 a cada maxtrmino:
Vale 0 si

Maxtrmino

x1x2x 3 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1

Solucin:
Notacin-M

x1+x 2+x 3 _ x1+x 2+x 3 _ x1+x 2+x 3 _ _ x1+x 2+x 3 _ x1+x 2+x 3 _ _ x1+x 2+x 3 _ _ x1+x 2+x 3 _ _ _ x1+x 2+x 3

M0 M1 M2 M3 M4 M5 M6 M7

x1x 2x3

f(x1x2x 3) 0 1 1 1 0 0 1 0

Maxtrmino

Notacin-M

1 1 0 _ _ x1+x2+x3

Notacin-M: f = Mi Mj Mk ... = (i, j, k, ...) La forma cannica conjuntiva es nica. Toda expresin puede ser descrita en forma cannica conjuntiva.

0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

x1+x2+x 3

M0

_ x1+x2+x 3 _ _ x1+x2+x 3 _ _ _ x1+x2+x 3

M4 M5 M7

_ _ _ _ _ _ f =(x 1+x 2+x 3)(x1+x 2+x 3)(x1+x 2+x 3)(x1+x 2+x 3) f = M0 M4 M5 M7 = (0, 4, 5, 7)