Académique Documents
Professionnel Documents
Culture Documents
ALGEBRA DE BOOLE
DEFINICION DE LAS OPERACIONES
A B
A+B
AB
0 0
+ 0 1
0 0 1
1 1 1
0 1
0 0 0
1 0 1
SUMA LOGICA
PRODUCTO LOGICO
TEOREMA DE IDEMPOTENCIA
A+A = A
AA = A
A +1 =1
A 0 = 0
A= A
A BOOLE
A es UNICO
PROPIEDAD ASOCIACIATIVA
A + (B + C) = (A + B) + C = A + B + C
A (B C) = ( A B) C = A B C
LEY DE ABSORCION
A + AB = A
A (A + B) = A
A + AB = A + B
A ( A + B ) = AB
TEOREMA DE MORGAN
A + B + C + ... = A B C ...
A B C ... = A + B + C + ...
AB + AC + BC = AB + AC
( A + B )( A + C )( B + C ) = ( A + B )( A + C )
TEOREMA DE SHANNON
f ( A , B , C , D ..., + , ) = f ( A , B , C , D ..., ,+ )
TEOREMA DE EXPANSION
f ( A , B , C , D ...) = A f ( 1 , B , C , D ...) + A f ( 0 , B , C , D ...)
f ( A , B , C , D ...) = [ A + f ( 1 , B , C , D ...)] [ A + f ( 0 , B , C , D ...)]
TABLA DE VERDAD
A
X
SISTEMA
DIGITAL
VARIABLES
DE ENTRADA
VARIABLES
BOOLEANAS
VARIABLES
DE SALIDA
FUNCION COMPLETAMENTE
DEFINIDA
FUNCION INCOMPLETA
DEFINICION DE UNA
FUNCION LOGICA
(FUNCION DE CONMUTACION)
Por ejemplo las funciones W y Z son equivalentes pero tienen distintas forma Booleana y
por tanto conducen a diferentes circuitos que realizan la misma funcin.
W = ( A + B + C )( A + B + C )( A + B + C )( A + B + C )
Z = A BC + AB C + A BC + AB C
VEAMOS QUE AMBAS FUNCIONES SON EQUIVALENTES:
W = ( A + B + C )( A + B + C )( A + B + C )( A + B + C ) = [( B + C ) + A A ][( B + C ) + A A ]
W = ( B + C )( B + C ) = B B + B C + BC + C C
W = B C + BC = ( B C + BC )( A + A ) = A BC + AB C + A BC + AB C = Z
FORMAS CANONICAS
EJEMPLO
ASIGNAC
MAXTERMS
MINTERMS
A+B+C
ABC
A+B+C
ABC
A+B+C
ABC
A+B+C
ABC
A+B+C
ABC
A+B+C
ABC
A+B+C
ABC
A+B+C
ABC
X = ( 0 ,3 ,4 ,7 )
X = ( A + B + C )( A + B + C )( A + B + C )( A + B + C )
SUMA DE PRODUCTOS CANONICOS
X = ( 1,2 ,5 ,6 )
X = A BC + AB C + A BC + AB C