2.

CONSULTE ACERCA DE LAS FORMAS CANNICAS Y NORMALIZADAS

Formas normalizadas

Las formas normalizadas son la suma de productos y el producto de sumas.

Estas formas siempre pueden obtenerse mediante la aplicacin de la ley de DeMorgan
en el caso de que hubiera trminos complementados y del postulado correspondiente a
la propiedad distributiva.
Los trminos producto siempre determinan los unos de la funcin y los trminos suma
los ceros. Ejemplos:

f = x(y+z)
g = (abc+bad+(a+b+c)+de)

Forma cannica disyuntiva o de mintrminos

La forma cannica disyuntiva o de mintrminos es una suma compuesta slo de
mintrminos.
Existen 2n mintrminos de n variables.
Dada una lista completa de los mintrminos de n variables, si a cada una de las n
variables se le asigna el valor 0 o 1, entonces slo un mintrmino de la lista tomar el
valor 1 y los otros el valor 0
Ejemplo: para 3 variables hay 8 mintrminos que son:
x'y'z', x'y'z, x'yz', x'yz, xy'z', xy'z, xyz', xyz
Para xyz=110, slo el mintrmino xyz' toma valor 1, el resto toma el valor 0.
Una funcin puesta como forma cannica disyuntiva sera:
g(x,y,z)= x'y'z'+x'yz'+xyz

Forma cannica conjuntiva o de maxtrminos

Maxtrmino: trmino suma en el que cada variable aparece una vez y slo una, bien
complementada o sin complementar.

La forma cannica conjuntiva o de maxtrminos es un producto compuesta slo de

maxtrminos.
Existen 2n maxtrminos de n variables.
Teorema: Dada una lista completa de los maxtrminos de n variables, si a cada una de
las n variables se le asigna el valor 0 o 1, entonces slo un maxtrmino de la lista tomar
el valor 0 y los otros el 1.
Ejemplo: para 3 variables hay 8 maxtrminos que son:
x'+y+'z, 'x+'y+'z, x'+y+z', x'+y+z,
x+y'+z', x+y'+z, x+y+z', x+y+z
Para xyz=110, slo el mintrmino x'+y'+z toma valor 0, el resto toma el valor 1.
Una funcin puesta como forma cannica conjuntiva sera:
h(x,y,z) = (x'+y'+z')(x+y+z')(x+y+z)
Conclusiones:
El lgebra de Boole utiliza variables que pueden tomar nicamente dos tipos de
valores, ya sea verdadero o falso, que pueden ser representados mediante 0 y 1,
etc., a pesar de que estas variables no tienen valor cuantitativo se pueden utilizar
para representar informacin cuantitativa.
La correcta aplicacin de los teoremas del lgebra de Boole constituye una
herramienta de gran importancia al momento de disear e implementar circuitos
digitales, pues dichos teoremas nos permiten simplificar al mximo las funciones
booleanas con el fin de utilizar menor nmero de CI en el circuito.
Es de mayor funcionalidad simplificar las funciones hasta que se puedan
implementar los circuitos con compuertas universales como NAND o NOR, puesto
que se reduce el nmero de circuitos integrados a utilizar en la prctica.
Bibliografa:
https://www.ulpgc.es/hege/almacen/download/7054/7054433/03algebra.pdf
Sistemas Digitales, Ing. Carlos Novillo M.