FASE GRUPAL

Teoremas del lgebra de Boole.

Las expresiones booleanas pueden adoptar dos formas utiles para las aplicaciones tecnologicas; tales
expresiones estan conformadas por una suma de productos o por un producto de sumas, denominadas la
forma normal disyuntiva y la forma normal conjuntiva, respectivamente.
TEOREMA 1: el elemento complemento A es nico. T
TEOREMA 2: (ELEMENTOS NULOS): para cada elemento de B se verifica: A+1 = 1 A0 = 0
TEOREMA 3: cada elemento identidad es el complemento del otro. 0=1 1=0
TEOREMA 4: (IDEMPOTENCIA): para cada elemento de B, se verifica: A+A=A AA=A
TEOREMA 5: (INVOLUCIN): para cada elemento de B, se verifica: (A) = A
TEOREMA 6: (ABSORCIN): para cada par de elementos de B, se verifica: A+AB=A A(A+B)=A
TEOREMA 7: para cada par de elementos de B, se verifica: A + AB = A + B A (A + B) = A B
TEOREMA 8: (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple la propiedad
asociativa: A+(B+C) = (A+B)+C A(BC) = (AB)C
TEOREMA 9: LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:
(A+B) = AB (AB) = A + B

REPRESENTACIN DE FUNCIONES LGICAS (II) FRMULA CANNICA DISYUNTIVA

(SOP)
MINTRMINO (mi): trmino producto en el que aparecen todas las variables, ya sean
complementadas o sin complementar.
FRMULA CANNICA DISYUNTIVA O DE MINTRMINOS: suma de mintrminos. (Suma de
Productos)
Dada la lista completa de mintrminos y asignando 1s y 0s arbitrariamente a las variables, siempre
hay un, y slo un, mintrmino que toma el valor 1.
Un mintrmino es un trmino producto que es 1 exactamente en una lnea de la tabla de Verdad.
La frmula compuesta por todos los mintrminos ser idnticamente 1.
Cada frmula de conmutacin puede expresarse como suma de mintrminos. Y esa frmula es nica.
NOTACIN:
Un mintrmino se designa por mi siendo i el nmero decimal correspondiente de la tabla de verdad.
Para el producto, el 0 se asocia a la variable complementada y el 1 a la variable sin complementar.
EJEMPLO:

REPRESENTACIN DE FUNCIONES LGICAS (III) FRMULA CANNICA CONJUNTIVA

(POS)
MAXTRMINO (Mi): trmino suma en el que aparecen todas las variables, ya sean complementadas o
sin complementar.
Frmula Cannica Conjuntiva o de Maxtrminos: producto de maxtrminos. (Producto de sumas)
Dada la lista completa de maxtrminos y asignando 1s y 0s arbitrariamente a las variables, siempre
hay un y slo un maxtrmino que toma el valor 0.
Un maxtrmino es un trmino suma que es 0 exactamente en una lnea de la tabla de verdad.
La frmula compuesta por todos los maxtrminos ser idnticamente 0.
Cada frmula puede expresarse como producto de maxtrminos. Y es nica.
NOTACIN: Un maxtrmino se designa por Mi siendo i el nmero decimal correspondiente de la
tabla de verdad. En la suma, el 1 se asocia a la variable complementada y el 0 a la variable sin
complementar.
EJEMPLO: