lgebra de Boole

Prof. Luis Araujo

Sistemas Digitales
http://www.ing.ula.ve/~araujol/sd
Postulados del lgebra de boole
Postulado 1:
DEFINICION: un lgebra booleana es un
sistema algebraico cerrado formado por dos
elementos 0 y 1 (Conjunto K), y operadores y
+; para cada par de elementos a y b e K; a b y
a + b e K,
donde: + => or
=> and
a b a+b
0 0 0
0 1 1
1 0 1
1 1 1
a b a b
0 0 0
0 1 0
1 0 0
1 1 1
Postulado 2:
Existe elementos 0 y 1, tal que, para a eK :
a) a + 0 = a (elemento neutro)
b) a 1 = 1 (elemento identidad)
Postulado 3: Ley Conmutativa
Para a y b eK :
a) a + b = b + a
b) a b = b a
Postulados del lgebra de boole
Postulado 4: Ley Asociativa,
Para a, b y c eK :
a) a + ( b+c ) = ( a + b ) + c
b) a ( b c ) = ( a b ) c
Postulado 5: Ley Distributiva
Para a, b y c eK :
a) a + ( b c ) = ( a + b) (a + c)
b) a ( b + c ) = ( a b ) + ( a c)
Postulado 6: Ley Distributiva
Para a eK :
a) a + a = 1 b) a a = 0
Postulados del lgebra de boole
Establece que si una expresin es valida en el
lgebra de boole, entonces su expresin dual
tambin lo es.
Determinamos la expresin dual remplazando los
operadores + por y viceversa y todos los
elemento 0 por 1 y viceversa.
Ejm:
a + ( b c ) = 1, expresin su dual es a ( b + c ) = 0
Principio de Dualidad
Teoremas
Teorema 1: Idenpotencia


Demostracin:
a a a b
a a a a
=
= +
)
)
a a
a a a
a a a a
a a
a a
= +
= +
= + +
= +
= +
0
) ( ) (
1 ) (
Teorema 2: Elemento neutro para + y


Demostracin:
0 0 )
1 1 )
=
= +
a b
a a
1
1
) 1 ( ) (
) 1 ( 1
1 ) 1 (
1
= +
= +
= + +
= +
= +
= +
a a
a a
a a a
a
a
a
Teoremas
Teoremas
Teorema 3: Involucin


Demostracin:
a a =
a a a a
a a a a a a
a a a a a
a
a
= +
= + +
= + +
= +
= +
) (
) (
0 1
1
Teoremas
Teorema 4: Absorcin


Demostracin:
a b a a b
a b a a a
= +
= +
) ( )
)
a a
b a
b a a
b a a
=
= +
= +
= +
1
) 1 (
1
Teoremas
Teorema 5:



Demostracin:
b a b a a b
b a b a a a
= +
+ = +
) ( )
)
b a b a
b a
b a a a
b a a
+ = +
= +
= + +
= +
1 ) (
) ( 1
) ( ) (
Teoremas
Teorema 6:




Demostracin:
a b a b a b
a b a b a a
= + +
= +
) ( ) )(
)
a a
b b a
b a b a
=
= +
= +
1
) (
Teoremas
Teorema 7:




Demostracin:
) ( ) ( ) ( ) )(
)
c a b a c b a b a b
c a b a c b a b a a
+ + = + + +
+ = +
c a b a c b a
c b b a
c b a b a
+ = +
= +
= +
) (
) (
Teoremas
Teorema 8: Teorema de Morgan




En general:
b a b a b
b a b a a
+ =
= +
)
)
z c b a z c b a
z c b a z b a
... ...
... ...
+ + + =
= + + +
Demostracin del T. de Morgan
b a y
asumimos
x y
entonces
y x
y x
asumimos
x x
x x
sabemos
b a x b a x
=
=
= +
=
= +
=
+ = + =
:
:
1
0
:
1
0
:
0
:
0 0 0
0 0
0 0
) ( ) (
) ( ) (
) ( ) (
) ( ) (
) ( ) (
=
= +
= +
= +
= +
= +
= +
= +
= +
=
y x
entonces
a b
a b
b b a b a a
b a b b a a
b b a a b a
b a b a
b a b a
y x
b a b a y x
resulta
y x
entonces
a
b b a
b b a
b a b
b a a b
b a a b
b a b a
y x
+ = + =
= +
= +
= + +
= + +
= + +
= + +
= + +
= + +
= +
:
1
:
1 1
) (
) (
) (
) (
) (
) (
Teoremas
Teorema 9: Consenso




Demostracin:
) ( ) ( ) ( ) ( ) )(
)
c a b a c b c a b a b
c a b a c b c a b a a
+ + = + + +
+ = + +
c a b a c b a c b a c a b a
c b a a c a b a
c b c a b a
c b c a b a
+ = + + +
= + + +
= + +
= + +
) (
1
Funciones de Conmutacin
Sean x
1
, x
2
, , x
n
smbolos llamados variables,
cada uno representa un 0 o un 1, definiremos
f(x
1
,x
2
,,x
n
) como una funcin de conmutacin
de x
1
, x
2
, , x
n
. f puede tomar el valor de 0 1
segn los valores para x
1
, , x
n
; si existen n
variables (x
i
), entonces existe 2
n
formas de
asignar los valores para x
1
, , x
n
y como f tiene
dos posibles valores, existen diferentes
funciones para n variables.
n
2
2
Ejemplos:
n=0
f() = 0 , 1
n=1
f(x) = 0 , 1 , x , x
n=2
f(x,y) = 0 , x y , x y , x
x y , y , x y + x y , x + y
x y , x y + x y, y , x + y
x , x + y , x + y , 1
Representacin de una funcin de
Conmutacin
Tabla de Verdad:
Evaluamos todos los posibles valores de entrada de la
funcin y los colocamos en una tabla en forma ordenada de
acuerdo al orden decimal.
Ejemplo: f(x,y) = x + y f(x,y) = x y
a b a+b
0 0 0
0 1 1
1 0 1
1 1 1
a b a b
0 0 0
0 1 0
1 0 0
1 1 1
Tabla de Verdad
Describa una funcin de conmutacin con 3
entradas a,b y c y una salida z, que es verdadera
(1) cuando al menos 2 de sus entradas son
verdaderas (1).
a b c f
0 0 0 0
0 0 1 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
Representacin de una funcin de
Conmutacin
Formas Algebraicas
SOP (Suma de Productos): se construye al
sumar (or) trminos productos (and).
Ejm.:

POS (Producto de Sumas): se construye con el
producto (and) de trminos suma (or).
Ejm.:
d c a d b c b a d c b a f + + = ) , , , (
) ( ) ( ) , , , ( d a c b a d c b a f + + + =
Formas Algebraicas:
b a c b a c b a f + = ) , , (
a b c f
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
Representacin de una funcin de
Conmutacin
Formas Cannicas:
Son formas SOP y POS con caractersticas
especiales. Existe una nica forma cannica para
cada funcin de conmutacin.
Mintrmino: es un trmino producto (and) para una
funcin de n variables, en donde cada una aparece bien
sea complementada o sin complementar.
Ejm:

Maxtrmino: es un trmino suma (or) para una funcin
de n variables, en donde cada una aparece bien sea
complementada o sin complementar.
Ejm:
) , , ( c b a f
c b a c b a c b a m = , ,
) , , ( c b a f
) ( ), ( c b a c b a M + + + + =
Formas Cannicas SOP
c b a c b a c b a c b a f + + = ) , , (
a b c f
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
c b a
c b a
c b a
Relacin con la tabla de
verdad:
Cada mintrmino esta
asociado con la lnea de la
tabla, tal que:
Las variables que tienen 1
no estn complementadas
Las variable que tienen 0
aparecen complementadas
Formas Cannicas POS
) ( ) ( ) ( ) , , ( c b a c b a c b a c b a f + + + + + + =
a b c f
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
Relacin con la tabla de
verdad:
Cada maxtrmino esta
asociado con la lnea de la
tabla, tal que:
Las variables que tienen 0
no estn complementadas
Las variable que tienen 1
aparecen complementadas
c b a + +
c b a + +
c b a + +
Representacin de una funcin de
Conmutacin
Especificacin decimal:
SOP:



POS:
[
=
=
+ + + + + + + + =
) 7 , 5 , 3 , 1 ( ) , , (
) , , (
) ( ) ( ) ( ) ( ) , , (
7 5 3 1
M c b a f
M M M M c b a f
c b a c b a c b a c b a c b a f

=
=
+ + + =
) 7 , 6 , 3 , 2 ( ) , , (
) , , (
) , , (
7 6 3 2
m c b a f
m m m m c b a f
c b a c b a c b a c b a c b a f
Relacin Mintrminos -
Maxtrminos
[
= =
=
=
) 5 , 4 , 1 , 0 ( ) 7 , 6 , 3 , 2 ( ) , , ( M m c b a f
m M
M m
i i
i i
Deduccin de Formas Cannicas
Teorema 10: Teorema de desarrollo de
Shannon
| | | | ) ,..., , 1 ( ) ,..., , 0 ( ) ,..., , ( )
) ,..., , 0 ( ) ,..., , 1 ( ) ,..., , ( )
2 1 2 1 2 1
2 1 2 1 2 1
n n n
n n n
x x f x x x f x x x x f b
x x f x x x f x x x x f a
+ + =
+ =
Convertir a SOP Cannica

=
+ + + + =
+ + + + =
+ =
+ + + =
+ + + =
+ =
+ + =
+ =
+ + =
) 7 , 6 , 4 , 3 , 1 (
) ( ) (
) 0 , , ( ) 1 , , (
) ( ) (
) , 0 , ( ) , 1 , (
) (
) , , 0 ( ) , , 1 (
) , , (
m
c b a c b a c b a c b a c b a
b a b a c b a b a b a c
b a c b a f c
c b a c b a c b a b a
c a c a b c a a b
c a b c a f b
c a c b a
c b f a c b f a
c a c a b a c b a f
a b c f
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
Convertir a SOP Cannica

=
+ = + =
+ = + =
+ = + =
+ + =
= +
) 7 , 6 , 4 , 3 , 1 ( ) , , (
) , , (
: 6
1 3
4 6
6 7
m c b a f
m m c b a c b a c a
m m c b a c b a c a
m m c b a c b a b a
c a c a b a c b a f
a b a b a T
Convertir a POS Cannica
[
=
+ + + + + + + + + + + + =
+ + + + + + + + =
+ + + + + + =
+ + + + =
+ =
) 3 , 2 , 1 , 0 (
) ( ) ( ) )( ( ) ( ) (
) ( ) ( ) ( ) (
) ) ( ) (( ) ) ( ) ((
) ( ) (
) ( ) , , (
M
c b a c b a c b a c b a c b a c b a
c b a c b a c c b a c c b a
c b a b a c c b a b a
c b b a c c b b a
c a a c b a f