Algebra de Conmut PDF

ALGEBRA DE BOOLE - DEFINICION
Todo conjunto de elementos que:
Pueden tomar dos valores perfectamente diferenciados. (0-1)
Relacionados por dos operaciones. (+ )
Deben de cumplirse los siguientes postulados:
Las operaciones + son conmutativas

a +b =b +a
a b = b a
Cada operacin es distributiva con respecto a la otra

a + (b c ) = (a + b ) (a + c )
a (b + c ) = (a b ) + (a c )
Existencia de elemento neutro para cada operacin

a +0 = a
a 1 = a
Existencia de elemento complementario

b +b =1
b b = 0
DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ESCUELA UNIVERSITARIA DE INGENIERIA TECNICA INDUSTRIAL E INGENIERIA TECNICA EN TOPOGRAFIA
UNIVERSIDAD DEL PAIS VASCO - EUSKAL HERRIKO UNIBERTSITATEA
EUITI e ITT de VITORIA-GASTEIZ
ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es
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

ALGEBRA DE BOOLE - TEOREMAS I
TEOREMA DE IDEMPOTENCIA
A+A = A
AA = A
Para cualquier elemento A se verifica que:
A +1 =1
A 0 = 0
Para cualquier elemento A se verifica que:
A= A

A BOOLE
A es UNICO
ALGEBRA DE BOOLE - TEOREMAS II
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
En un lgebra de Boole se verifica:
A + AB = A + B

A ( A + B ) = AB
ALGEBRA DE BOOLE - TEOREMAS III
TEOREMA DE MORGAN
A + B + C + ... = A B C ...
A B C ... = A + B + C + ...
TEOREMA DEL CONSENSO
AB + AC + BC = AB + AC
( A + B )( A + C )( B + C ) = ( A + B )( A + C )

ALGEBRA DE BOOLE - TEOREMAS IV
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
EXPRESION FORMA BOOLEANA

X=ABC+ABC+ABC+ABC
X=BC+BC
Y = (A + B + C)(A + B + C)
Y = (A + C)(A + B)

DEFINICION DE UNA
FUNCION LOGICA
(FUNCION DE CONMUTACION)
FORMAS EQUIVALENTES: Dos expresiones Booleanas son equivalentes si y

solo si describen la misma funcin de conmutacin. (La misma funcin lgica).
Si dos funciones son equivalentes, pero tienen diferente forma Booleana,
conducirn a diferentes circuitos, pero ambos realizarn la misma funcin.
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

TERMINO CANONICO de una funcin lgica es un producto o suma en el

cual aparecen todas las variables de la funcin (o sus complementos)
SUMAS CANONICAS - MAXTERMS
PRODUCTOS CANONICOS - MINTERMS
FORMA CANONICA: Si una funcin est expresada como:

PRODUCTO DE SUMAS CANONICAS
SUMA DE PRODUCTOS CANONICOS

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
PRODUCTO DE SUMAS CANONICAS
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


Algebra de Conmut PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra de Conmut PDF

Cargado por

Copyright:

Formatos disponibles

ALGEBRA DE BOOLE - DEFINICION

Todo conjunto de elementos que:

Pueden tomar dos valores perfectamente diferenciados. (0-1)

Relacionados por dos operaciones. (+ )

Deben de cumplirse los siguientes postulados:

Las operaciones + son conmutativas

Cada operacin es distributiva con respecto a la otra

Existencia de elemento neutro para cada operacin

Existencia de elemento complementario

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

ALGEBRA DE BOOLE - TEOREMAS I

Para cualquier elemento A se verifica que:

Para cualquier elemento A se verifica que:

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

ALGEBRA DE BOOLE - TEOREMAS II

En un lgebra de Boole se verifica:

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

ALGEBRA DE BOOLE - TEOREMAS III

TEOREMA DEL CONSENSO

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

ALGEBRA DE BOOLE - TEOREMAS IV

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

EXPRESION FORMA BOOLEANA

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

FORMAS EQUIVALENTES: Dos expresiones Booleanas son equivalentes si y

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

TERMINO CANONICO de una funcin lgica es un producto o suma en el

FORMA CANONICA: Si una funcin est expresada como:

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

PRODUCTO DE SUMAS CANONICAS

DEPARTAMENTO DE ELECTRONICA Y TELECOMUNICACIONES

ftp://ftp.vc.ehu.es/cidira/dptos/depjt/ - Luis Angel Aguado - jtpagrol@vp.ehu.es

También podría gustarte