Teoremas y leyes del lgebra de Booleana.

Primero se establece la relacin de igualdad o equivalencia = para indicar que

las dos variables x e y, pertenecientes al conjunto B, son iguales; por ejemplo, x =
y.

I. Leyes de composicin interna.

En B se definen dos leyes de composicin interna, + (operador O, OR, o
suma lgica) y . (operador Y, AND, multiplicacin o producto lgico); siendo
B cerrado para estas operaciones.
xB, a) x + yB

b) x yB

El punto (.), utilizado como smbolo para denotar el producto, no es

indispensable, aunque no aparezca, se sobreentiende. Por lo tanto, la operacin
x y B ; se puede escribir de la forma: x yB.

II. Elementos neutros.

Existen elementos neutros para ambas leyes de composicin interna; las
cuales son: a) Elemento neutro para la suma, 0 B / x B, x + 0 = 0 + x
=x
b) Elemento neutro para la multiplicacin, 1B/xB, x 1=1 x = x

III. Conmutatividad de las leyes de composicin

interna. La suma y la multiplicacin lgica son
conmutativa; x, yB ;
a) x + y = y + x
b) x y = y x

IV. Distributividad de las leyes de composicin interna.

En el lgebra de Boole la suma y la multiplicacin son distributivas
recprocamente.
x, y, zB ;
a) x + (y z) = (x + y)(x + z)
b) x( y + z) = x y + x z
En el lgebra de los nmeros reales, no se cumple el caso a de la distributividad.

V. Elemento opuesto.
Todo elemento de B tiene su opuesto (o funcin NOT). A este elemento se le
denomina inverso, opuesto, complemento o negado. Se representa de varias
formas, dos de ellas son: ( x , x'). La suma y el producto de una variable con su
complemento da como resultado 1 y 0 respectivamente.

xB, xB/ a) x + x = 1

b) x x = 0
VI. Elementos del conjunto Booleano B.
Este postulado es muy obvio, sin embargo, se debe reglamentar; el postulado
dice:
En B hay al menos dos elementos diferentes. x, yB / x y . Los dos elementos
distintos son 0 y 1.
Con estos postulados se pueden demostrar las siguientes identidades del lgebra
de Boole descritas en la tabla 2.1. Estas identidades tambin pueden ser
demostradas mediante la teora de conjuntos.

Multiplicacin
Suma Lgica Complemento
Lgica
0+0=0 0.0=0 0 =1
0+1=1 0.1=0 1= 0
1+0=1 1.0=0
x=x
1+1=1 1.1=1 x=x
x+0=x x.0=0
x+1=1 x.1=x
x+x=x x.x=x
 x + x =1 x . x =0
Tabla 2.1. Identidades del lgebra de Boole.

Principio de dualidad: En los postulados anteriores se observaron que las dos

proposiciones (a y b) son duales y esto significa que se pueden obtener
aplicando este principio: si en una igualdad se sustituyen 0 por 1, + por . y
viceversa, en todos los lugares que aparezcan, se obtiene otra igualdad que se
puede llamar forma dual. Esto trae como consecuencia que cada teorema del
lgebra de Boole tenga otro dual igualmente vlido.

Teorema de absorcin (T1):

x, yB; a) x + x y = x

b) x(x + y) = x
Las dos partes del teorema son demostrables, no obstante, se demostrar la
proposicin b. Ya que incluye la demostracin de la parte a.

Para demostrar (P.d):

x(x + y)
x(x + y) = x x + x y Propiedad distributiva
=x+xy Identidad de la multiplicacin
= x(1+ y) Identidad y propiedad distributiva (factor comn)
= x(1) Identidad de la suma
=x Identidad de la multiplicacin
Lo que se quera demostrar (L.q.d)

Teorema (T2):

x, yB; a)x(x + y) = x y

b) x + x y = x + y
P.d: Se demostrar la parte a; la parte b, se deja para el
lector. x( x + y)

x( x + y) = x x + x y Propiedad distributiva
 =0+xy Identidad de la multiplicacin
=xy Identidad de la suma
L.q.d

Teorema (T3): El complemento de una variable existe, y es nico.

x, y B / x y = 0 (x + y) =1 x y ( x = y )( x = y)
Para todo x, y que pertenezca a B, si se cumple que el producto de estas dos
variables es cero, y la suma es igual a uno entonces, significa que dichas
variables son diferentes; por lo tanto una es complemento de la otra. El smbolo
significa disyuncin o; y el smbolo significa conjuncin y. Las condiciones
de las hiptesis en el producto y la suma conllevan a que la nica forma de
cumplir la proposicin es cuando las dos variables son complementarias
recprocamente. P.d:

x=x Identidad y=y Identidad

x = x +0 Identidad de suma y = y +0 Identidad de

suma
=x+xy Por hiptesis =y+xy Por hiptesis

= ( x+ x)( x + y) Propiedad distributiva = ( y + y )( y + x) Propiedad

distributiva

= (1)( x+ y ) Identidad de suma = (1)( y+ x ) Identidad de

suma

= ( x+ y)( x+ y ) Por hiptesis = ( x+ y)( y+ x ) Por hiptesis

= y +( x x) Propiedad distributiva = x +( y y) Propiedad

distributiva

= y +(0) Identidad del producto =x+(0) Identidad del producto

=y Elemento neutro =x Elemento neutro

x=y y=x
L.q.d L.q.d
Teorema (T4):

x, yB; a)x y + x y = x

b)(x + y)(x + y ) = x
P.d: (se demostrar la parte b)

(x + y)(x + y) = x + y yPropiedad distributiva

=x+0 Identidad del producto
=x Identidad de la suma
L.q.d.

Teorema (T5):

x, y, zB; a)x y + x y z = x y + x z

b)(x + y)(x + y + z) = (x + y)(x + z)

P.d: (se demostrar la parte a)

xy+ xyz = x( y+ y z) Factor comm

= x(y + z) Teorema 2
=xy+xz Propiedad distributiva
L.q.d.
Teorema (T6): Teorema De Morgan.

x, yB, a)x + y = x y

b) x y = x + y
El teorema de la unicidad del complemento (T3) indica que se debe demostrar que
los dos miembros de las igualdades (a) y (b) son complementarios. Por ejemplo,
basta

comprobar en (a) que x y es el complemento de x + y . Por lo tanto, el producto

de estos dos valores debe dar 0 y su suma debe dar 1. La aplicacin de este
teorema es muy importante en los circuitos de compuertas digitales. aI)(x + y) +
( x y )=1
aII)(x + y)( x y)=0

P.d: caso aI
(x + y) +( x y ) ={(x + y) + Propiedad distributiva
x}{(x + y) + y}
={x + (x + y)}{x + (y+ y )}
Propiedad conmutativa y asociativa
Propiedad asociativa e Identidad
={(x + x) + y}.{x +1} suma
= (1+ y)(x +1) Identidad de la suma

= (1)(1) Identidad de la suma

=1 Identidad de la multiplicacin

P.d: caso aII

(x + y)( x y) ={x ( x y )}+{y ( x y)} Propiedad distributiva

={(x x) y}+{( y y) x)} Propiedad conmutativa y asociativa

= (0 y ) + (0 x) Identidad de la
multiplicacin
Identidad de la
=(0) + (0)
multiplicacin
=0
Identidad de la suma
L.q.d.

Libro: ELECTRNICA DIGITAL COMBINACIONAL

Diseo, Teora y prctica por: ngel Agustn Olivier
Mayo de 2002