Algebra de Boole

ET N 17 Cornelio Saavedra Especialidad
Distrito Escolar XIII

Regin V
Electrnica Tcnicas
Digitales
5 Ao
Desarrollo de apuntes para
asignaturas especficas del rea
electrnica
Coordinador: Ing. Alejandro Demoli
Apunte realizado por Luis Biglieri

1
Unidad 2 lgebra de Boole

Temas

Introduccin

lgebra de Boole
Operaciones bsicas (suma lgica, producto lgico y negacin lgica)
Axiomas y Leyes Fundamentales
Leyes de De Morgan

Estados Lgicos y Funcin Lgica
Tabla de verdad
Funcin booleana
Trminos cannicos
Maxtrminos y mintrminos
Formas cannicas de una funcin
Representacin de una funcin por su tabla de verdad
Forma numrica de una funcin lgica

Regin V
Electrnica Tcnicas
Digitales
5 Ao
electrnica

2
Introduccin

En 1847 un matemtico ingls llamado George Boole (1815 1864), desarrolla
unos smbolos matemticos con unas reglas que pueden ser aplicadas en problemas de
lgica deductiva. Hacia el ao 1854, public un libro en el que explicaba cmo convertir
las proposiciones lgicas en smbolos matemticos y cmo aplicar ciertas reglas muy
simples para determinar la verdad o falsedad de proposiciones relacionadas entre s.
La matemtica desarrollada por Boole se conoce en la actualidad como lgebra
booleana, lgebra de Boole o lgica simblica.
Despus de su muerte, algunos matemticos perfeccionaron su sistema para
hacerlo ms utilizable, nos interesa particularmente la aplicacin que en 1938 ide el
cientfico Claude E. Shannon. En su tesis de graduacin del Instituto Tecnolgico de
Massachuset, Shannon demostr cmo poda aplicarse el lgebra de Boole al diseo y la
simplificacin de los rels y circuitos de conmutacin que se utilizan en los complejos
circuitos que forman las computadoras electrnicas, pues permite simplificar las
conexiones fsicas reduciendo el hardware y consiguientemente el espacio necesario para
alojarlo.
En este tema nos ocuparemos brevemente de esta lgica de la conmutacin, como
podramos llamarla, pero limitndonos a los circuitos de conmutacin y las compuertas
(llamadas tambin puertas lgicas). Nos interesa la lgica del circuito, no la electrnica.
No obstante, los conceptos que expondremos a continuacin son los mismos que se
aplican a la pelcula delgada, los ncleos magnticos, los transistores y dems
componentes de los circuitos empleados en las computadoras.

Definicin del lgebra de Boole

El lgebra de Boole es una estructura matemtica que posee tres operaciones
binarias denominadas suma lgica (+), producto lgico () y negacin lgica (not). Est
estrechamente relacionada con la lgica proposicional y con el lgebra de conjuntos,
constituyndose en la base fundamental para el anlisis y el desarrollo de los circuitos
digitales.

Suma Lgica:

Denominada tambin operacin "O" (OR). Esta operacin responde a la siguiente
tabla:

A B A+B
0 0 0
0 1 1
1 0 1
1 1 1

Regin V
Electrnica Tcnicas
Digitales
5 Ao
electrnica

3
Producto Lgico:

Denominada tambin operacin "Y" (AND). Esta operacin responde a la siguiente
tabla:
A B AB
0 0 0
0 1 0
1 0 0
1 1 1

Negacin Lgica:

Denominada tambin operacin "N" (NOT). Esta operacin responde a la siguiente
tabla:

A
A
0 1
1 0

Axiomas y Leyes Fundamentales del lgebra de Boole

Ley de cierre o clausura

Sean A y B dos elementos pertenecientes a un conjunto llamado lgebra de Boole
( ): AB
La suma lgica y el producto lgico de elementos booleanos dan como resultado
otros elementos que tambin pertenecen al lgebra de Boole.

En smbolos resulta: ( ) ( ) AB e . AB e + AB e B A B A B A ,

Ley conmutativa

La suma lgica y el producto lgico son operaciones conmutativas:

A +B =B +A A . B =B . A

Ley asociativa

Las dos operaciones (suma y producto) del lgebra de Boole son asociativas:

A+(B +C) =(A+B) +C A.(B.C)-(A.B). C
Regin V
Electrnica Tcnicas
Digitales
5 Ao
electrnica

4
Ley distributiva

La suma lgica es distributiva respecto del producto lgico y viceversa:

A +( B . C) =(A +B). (A +C) A.(B +C) =(A.B) +(A.C)

Elementos neutros

Para todo elemento perteneciente al lgebra de Boole, existen y son nicos los
elementos "0" ( neutro aditivo) y "1" ( neutro multiplicativo) pertenecientes al lgebra de
Boole, tal que operando con el elemento dado no lo modifiquen.

En smbolos:

A A nico es y A
A A nico es y A
= AB e - AB e
= + AB e - AB e
1 / 1 , , ,
0 / 0 , , ,

Complemento

Para todo elemento booleano (A) existe y es nico otro elemento booleano llamado
complemento (A), tal que se verifique que:

0 1 = = + A A y A A

Ley de Involucin(o doble complemento)

A A =

Idempotencia

A A A A A A = = +

Ley de Absorcin

A B A A A B A A = + = + ) ( ) (

Regin V
Electrnica Tcnicas
Digitales
5 Ao
electrnica

5
Propiedades del 0 y del 1(Identidad de los elementos 0 y 1)

0 1 1 0
0 0 1 1
= =
= = + A A

Leyes de De Morgan

B A B A B A B A + = = +

Teorema

B A B A A B A B A A = + + = + ) (

Otras operaciones lgicas

A partir de las operaciones lgicas bsicas se pueden realizar otras operaciones
booleanas, las cuales son:

NAND NOR

A B
B A
0 0 1
0 1 1
1 0 1
1 1 0
A B
B A+
0 0 1
0 1 0
1 0 0
1 1 0

XOR O EXOR, tambin
llamada OR EXCLUSIVA

A B B A
0 0 0
0 1 1
1 0 1
1 1 0
A B
B A
0 0 0
0 1 1
1 0 1
1 1 0
XNOR O EXNOR
Regin V
Electrnica Tcnicas
Digitales
5 Ao
electrnica

6

Estados Lgicos y Funcin Lgica

Los elementos que constituyen los circuitos digitales se caracterizan por admitir
slo dos estados. Es el caso por ejemplo de un conmutador que slo puede estar
ENCENDIDO o APAGADO, o una vlvula hidrulica que slo pueda estar ABIERTA o
CERRADA.
Para representar estos dos estados se usan los smbolos 0 y 1. Generalmente, el
1 se asociar al estado de conmutador CERRADO, ENCENDIDO, VERDADERO, y el 0
se asocia al estado de conmutador ABIERTO, APAGADO o FALSO.

La funcin lgica es aquella que relaciona las entradas y salidas de un circuito
lgico. Puede expresarse mediante:

1. Tabla de verdad: Es ella se representan a la izquierda todos los estados posibles
de las entradas y a la derecha los estados correspondientes a la salida.

2. Funcin booleana: Es una expresin matemtica que emplea los operadores
booleanos.

Una funcin lgica (F) es un polinomio booleano que puede estar formado por n
variables, complementadas o no, vinculadas por las operaciones de suma y producto
lgicos.
Veamos un ejemplo de una funcin lgica de 3 variables (A,B,C):

F=ABC +AB +B (A+C)

Tabla de verdad de la funcin lgica F

ABC
C B A B A
) ( C A B + F
000 0 1 1 1
001 0 1 0 1
010 0 0 0 0
011 0 0 0 0
100 0 0 1 1
101 1 0 1 1
110 0 0 0 0
111 0 0 0 0

Trminos cannicos

Se llama trmino cannico de una funcin lgica a todo producto o suma en el cual
aparecen todas las variables de que depende esa funcin. A los trminos productos se les
llama productos cannicos o mintrminos, y a los trminos sumas, sumas cannicas o
maxtrminos.

Regin V
Electrnica Tcnicas
Digitales
5 Ao
electrnica

7
Formas cannicas

Cuando una funcin se expresa como suma de productos cannicos o como
producto de sumas cannicas, se dice que dicha funcin se encuentra expresada en su
forma cannica.

Como cada variable puede estar complementada, para una funcin de n variables
pueden existir 2
n
mintrminos y 2
n
maxtrminos.

Por ejemplo : para una funcin de 3 variables hay 8 mintrminos posibles y tambin
8 maxtrminos, los cuales son:

Mintrminos:
ABC , C AB C, B A , C B A BC, A , C B A C, B A , C B A

Maxtrminos:
C B A C, B A , C B A , C B A , C B A C, B A , C B A C, B A + + + + + + + + + + + + + + + + +

Puede demostrarse, aplicando las leyes de De Morgan, que estos dos trminos que
acabamos de definir son expresiones complementarias, es decir, el complemento de un
mintrmino es un maxtrmino y viceversa.

Por ejemplo, para una funcin de 4 variables el producto ABCD es uno de los 16
mintrminos posibles y al complementarlo se obtiene un maxtrmino:

D C B A D C B A + + + =

Existen teoremas referidos a mintrminos y maxtrminos, los cuales son de gran
aplicacin en el desarrollo algebraico de circuitos:

Teorema 1: Para una funcin de n variables, la suma lgica de todos sus
mintrminos es igual a 1.

Ejemplo para 2 variables:

1 B A B A B A AB = + + +

Teorema 2: Para una funcin de n variables , el producto lgico de todos sus
maxtrminos es igual a 0.


0 ) B A ( ) B (A B) A ( B) (A = + + + +

Teorema 3: Para una funcin de n variables, el complemento de la suma de
algunos mintrminos es igual a la suma de los restantes.
Regin V
Electrnica Tcnicas
Digitales
5 Ao
electrnica

8

B A B A B A AB + = +

Teorema 4: Para una funcin de n variables , el complemento del producto de
algunos maxtrminos es igual al producto de los restantes.


) B A ( B) A ( B) (A ) B (A + + = + +

Representacin cannica de una funcin

De los diferentes polinomios con los que se pueden representar las funciones
lgicas existen dos que se denominan expresiones cannicas (o Formas Normales), las
cuales se llaman "suma de mintrminos o suma de productos - SP" (primera expresin
cannica o forma normal disyuntiva) y "producto de maxtrminos o producto de sumas -
PS" (segunda expresin cannica o forma normal conjuntiva).

Para poder obtenerlas partiremos de un polinomio cualquiera, por ejemplo
trabajaremos con una funcin de 3 variables dada por la siguiente funcin lgica:

B ). C (A C B A F + + =

La primera expresin cannica tiene una estructura del tipo suma de productos, por
lo tanto el primer paso ser transformar la ecuacin dada en una suma de productos, para
lo cual se aplicar la ley de De Morgan:

B C A C B A F + + + =

B C A ABC F + + =

La expresin as obtenida es una suma de productos, pero no es cannica, pues
dos de sus trminos no son mintrminos; debemos entonces transformarlos para lo cual
hacemos lo siguiente:

En virtud de los axiomas de la definicin del lgebra de Boole, el trmino C A se
multiplica por 1 y ese 1 se escribe como la suma de la variable B ms su complemento
(obsrvese que B es la variable faltante para que C A sea mintrmino).

Al trmino B le faltan 2 variables para convertirlo en mintrmino, luego el mismo se
multiplicar dos veces por 1(en virtud de la propiedad de idempotencia), escribiendo cada
1 como la suma de la variable que falta ms su complemento. Por lo tanto resulta:

Regin V
Electrnica Tcnicas
Digitales
5 Ao
electrnica

9
) C (C ) A (A B ) B C(B A C B A F + + + + + =

Aplicando la propiedad distributiva del producto respecto a la suma:

) C A C A C A (AC B C B A BC A C B A F + + + + + + =

Se puede observar que la expresin que figura entre parntesis y que multiplica a
la variable B es igual a 1, en razn del primer teorema de los mintrminos.

C B A C B A C B A C B A C B A BC A C B A F + + + + + + =

Finalmente, eliminando los trminos repetidos (por propiedad de idempotencia), la
expresin que se obtiene est formada por mintrminos y es una suma lgica;

C B A C B A C B A BC A C B A F + + + + = Forma normal disyuntiva (suma de mintrminos)

Para hallar la segunda expresin cannica partimos de la primera expresin
cannica y hallamos su complemento:

C AB C B A ABC F + + =

Complementando ambos miembros tenemos:

C AB C B A ABC F + + =

El primer miembro de la igualdad es el valor de la funcin F (por ley de Involucin)
y, resolviendo el segundo miembro, resulta:

C AB C B A ABC F =

C) B A ( C) B (A ) C B A ( F + + + + + + = Forma normal conjuntiva (producto de maxtrminos)

Como vemos, esta segunda expresin cannica tiene una estructura del tipo
producto de sumas, donde cada suma es un maxtrmino.

Representacin de una funcin por su tabla de verdad

Tomando el polinomio del ejemplo anterior confeccionaremos la tabla de verdad
correspondiente al mismo.

B ). C (A C B A F + + =

Regin V
Electrnica Tcnicas
Digitales
5 Ao
electrnica

10
ABC
C B A
) C (A +
B ). C (A +
F
Trminos
cannicos
mintrmino Maxtrmino
000 0 1 1 1
C B A
m0 M7
001 0 0 1 1
C B A
m1 M6
010 0 1 0 0 C) B (A + + m2 M5
011 0 0 1 1
BC A
m3 M4
100 0 1 1 1
C B A
m4 M3
101 1 1 1 1
C B A
m5 M2
110 0 1 0 0 C) B A ( + + m6 M1
111 0 1 0 0 m7 M0 ) C B A ( + +

La funcin F se obtiene sumando las columnas sealadas con una flecha. De la
columna de F pueden extraerse las dos expresiones cannicas directamente, es decir sin
necesidad de efectuar el desarrollo algebraico expuesto anteriormente.
Para obtener las dos expresiones cannicas directamente de la tabla de verdad
procedemos segn la siguiente convencin de lectura:
Cada combinacin binaria de las variables puede leerse como un producto y
tambin como una suma. Para leer una combinacin como producto se debe tener en
cuenta que los "0" indican el valor complementado de la variable, mientras que los "1" nos
dan el valor original de la misma. Por ejemplo: la combinacin 101 (A=1, B =0, C=1) debe
leerse como C B A y as sucede con el resto de la combinaciones binarias.
Para leer una combinacin como suma, la convencin es inversa a la anterior, es
decir, los "0" representan a la variable sin negar y los "1" a la variable negada. Por
ejemplo: la combinacin 110 (A=1, B=1, C=0) debe leerse como C B A + + y as para el
resto.
La primera expresin cannica se extrae de los "1" lgicos de F y la segunda de los
"0" lgicos:

C) B A ( C) B (A ) C B A ( C B A C B A C B A BC A C B A F + + + + + + = + + + + =

Ambas expresiones son lgicamente equivalentes pues cumplen con la misma
tabla de verdad.

La funcin lgica puede expresarse en forma literal (como lo venimos haciendo
hasta ahora) o en forma numrica, de la siguiente, manera:

) 5 , 4 , 3 , 1 , 0 (
3
= F SP Suma de Productos

) 5 , 1 , 0 (
3
[ = F PS Producto de Sumas

ET N 17 Cornelio Saavedra
Regin V
Especialidad
Electrnica Tcnicas
Digitales
5 Ao
electrnica

11
Formas equivalentes

Dos expresiones booleanas, F
1
y
F2,
son equivalentes, es decir F
1
=F
2
, s y
slo s describen la misma funcin de conmutacin, o de otra forma, poseen la
misma tabla de verdad. Formas booleanas diferentes pero equivalentes,
conducirn a circuitos de conmutacin distintos aunque realicen la misma funcin.

Bibliografa

- Problemas de Circuitos y Sistemas Digitales - Carmen Baena Oliva; Manuel
J ess Bellido Daz; Alberto J ess Molina Cantero; Mara del Pilar Parra Fernndez;
Manuel Valencia; Barrero. Ed. McGraw-Hill, 1997.
- Arquitectura de Computadoras - Ingeniera en Sistemas de Informacin
Universidad Tecnolgica Nacional - Facultad Regional Santa Fe.
- Circuitos Y Sistemas Digitales - Departamento de Electrnica y Comunicaciones
Universidad Pontifica de Salamanca en Madrid - Apuntes de clase
- Electrnica Digital - Cuesta - Gil Padilla Remiro - Ed. Mc Graw Hill. 1992
- Tcnicas Digitales - Telefnica De Argentina Direccin de RRHH, Gerencia de
Capacitacin.

Internet
- http://www.unicrom.com/default.asp
- http://medusa.unimet.edu.ve/sistemas/bpis03/algebradeboole.htm
- http://electronred.iespana.es/alg_boole.htm
- http://usuarios.lycos.es/bnunez/Archivos%20propios/Digitales/Algebra_Boole.pdf
- http://serbal.pntic.mec.es/~cmunoz11/boole.pdf
- http://www.ing.uc.edu.ve/aulavirtual/mod/resource/view.php?id=473

Algebra de Boole

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Algebra de Boole

Transféré par

Droits d'auteur :

Formats disponibles

ET N 17 Cornelio Saavedra Especialidad

Distrito Escolar XIII

Vous aimerez peut-être aussi