Você está na página 1de 9

EPIS UNPRG

SISTEMAS DIGITALES
ALGEBRA DE BOOLE

I. ALGEBRA DE BOOLE
I.1 DEFINICION.
El Algebra de Boole es toda clase o conjunto de elementos que pueden tomar dos valores
perfectamente diferenciados, que designaremos por 0 y 1 y que estn relacionados por dos
operaciones binarias denominadas suma (+) y producto (.) ( la operacin producto se indica
generalmente mediante la ausencia de smbolo entre dos variables lgicos.)
Cumplen las siguientes Propiedades:
a) Ambas operaciones son conmutativas, es decir si a y b son elementos del lgebra, se verifica:
a+b=b+a

a.b=b. a

b) Dentro del lgebra existen dos elementos neutros, el 0 y el 1, que cumplen la propiedad de identidad
con respecto a cada una de dichas operaciones:
0+a=a
1.a=a
c) Cada operacin es distributiva con respecto a la otra:
a . ( b + c) = a . b + a . c
a+(b.c)=(a+b).(a+c )
d) Para cada elemento a del lgebra existe un elemento denominado a , tal que:
_ _
a+a=1
a.a=0
Este postulado define realmente una nueva operacin fundamental que es la inversin o
complementacin de una variable. La variable a se encuentra siempre en un estado binario contrario
al de a. La tabla de verdad de la inversin o complemento, es:
_
aa
01
10

Fsicamente son varios los conjuntos que poseen dos operaciones binarias que cumplen los
postulados desarrollados. Ejemplo de estos conjuntos son el lgebra de las proposiciones o juicios
formales y el lgebra de la conmutacin formada tambin por elementos que pueden tomar dos
estados perfectamente diferenciados.
Los primeros circuitos de conmutacin o lgicos utilizados, han sido los contactos que pueden ser
empleados para memorizar ms fcilmente las leyes del lgebra de Boole antes expresadas y los
teoremas.
La operacin suma se asimila a la conexin en paralelo de contactos y la operacin producto a la
conexin en serie. El inverso de un contacto es otro cuyo estado es siempre el opuesto del primero,
es decir est cerrado cuando aqul est abierto y viceversa. El elemento 0 es un contacto que est
siempre abierto y el elemento 1 un contacto que est siempre cerrado. Adems se considera una
funcin de transmisin entre los dos terminales de un circuito de contactos, que toma el valor 1,
cuando existe un camino para la circulacin de corriente entre ellos (corto circuito ) y el valor 0 si
no existe dicho camino (circuito abierto).

Bernardo Nez Montenegro.

I.2 Teoremas de Algebra de Boole


Teorema 1
Cada identidad deducida de los anteriores postulados del lgebra de Boole permanece vlida si la
operacin + y . y los elementos 0 y 1 se intercambian entre s.
Este principio, llamado de dualidad, se deduce inmediatamente de la simetra de los cuatros
postulados con respecto a ambas operaciones y ambos elementos neutros.
Teorema 2
Para cada elemento a del lgebra de Boole se verifica:
a+1=1
y

a.0=0

Teorema 3
Para cada elemento a del lgebra de Boole se verifica:
a+a=a
y

a.a=a

Teorema 4
Para cada par de elementos del lgebra de Boole a y b se verifica:
a + ab = a
y
a ( a + b) = a
Esta ley se llama Ley de Absorcin.
Teorema 5
En un lgebra de Boole, las operaciones suma y producto son asociativas.
a+(b+c)=(a+b)+c=a+b+ c
a ( b c) = ( a b ) c = a b c

Teorema 6
Para todo elemento a del lgebra de Boole se verifica:

=
a=a

TEOREMA 7
En toda lgebra de Boole se verifica:
1) a + b + c + d + = abcd
____
2) abcd = a + b + c + d
Estas igualdades son denominadas Leyes de De Morgan.
Este teorema define realmente dos nuevas funciones lgicas de gran importancia que sern
utilizadas como elementos bsicos para la realizacin de los sistemas digitales. Estas dos funciones
que realizan las expresiones (1) y (2), se denominan respectivamemnte NOR y NAND.
Las tres funciones elementales: suma, producto e inversin lgica pueden ser realizadas mediante
las funciones NOR y NAND.
Aplicando el teorema de De Morgan tenemos:

_ _
_ _
ab = a b = a + b
a+b= a+b = a b
La inversin se representa en general mediante un circulo; por lo tanto, los smbolos de la funcin
NOR y NAND se deducen respectivamente de las funciones OR y AND aadindoles un circulo:

Las funciones NOR y NAND de una sola variable constituyen la funcin de inversin.
La realizacin de las funciones suma, producto e inversin con las funciones NOR y NAND se
representan, mediante los smbolos estudiados:

FUNCIONES BOOLEANAS
1. DEFINICION
Una funcin de lgebra de Boole es una variable binaria cuyo valor es igual al de una expresin
algebraica en la que se relacionan entre s las variables binarias por medio de las operaciones
bsicas. Producto lgico, Suma lgica e Inversin.
Se representa una funcin lgica por la expresin F = f (a,b,c,.); El valor lgico de f, depende de
las variables a,b,c,.
Se llama trmino cannico de una funcin lgica a todo producto o suma en la cual aparecen todas
las variables en su forma directa o inversa. Al primero de ellos se le llama
producto cannico (minterminos) y al segundo suma cannica (maxterminos).
Por ejemplo: sea una funcin de tres variables f(a,b,c); el trmino abc es un producto cannico y el
trmino a+b+c es una suma cannica.
El nmero mximo de productos cannicos o sumas cannicas viene dado por las variaciones con
repeticin de dos elementos tomados de n en n. El nmero de productos o sumas cannicas de n
variables es por lo tanto 2n.
Para mayor facilidad de representacin, cada trmino cannico, se expresa mediante un nmero
decimal equivalente al binario obtenido al sustituir las variables ordenadas con un criterio
determinado por un 1 o un 0 segn aparezcan en su suma directa o complementaria
respectivamente. Por ejemplo, los trminos cannicos siguientes representarn:
_

d c b a = 01102 = 610

_
_
d+c+b+a = 10102 = 1010
_ _ _
_
* La funcin lgica f(a,b,c) = a b c + a b c + a b c se podr representar por la expresin:
f(a,b,c) = (2,3,5)
en la cual el smbolo representa la suma lgica.
_ _
_
_
* La funcin f(a,b,c) = (a+b+c) (a+b+c) (a+b+c) se puede representar por:
f(a,b,c) = (1,2,7)
en la que indica el producto lgico.
Cuando una funcin que se expresa como una suma de productos cannicos o un producto de
sumas cannicas, se dice que se encuentra en forma cannica.
Si se tiene la expresin cannica en forma de suma de productos, la expresin cannica de producto
n
de sumas se obtiene mediante el complemento a 2 1 de los productos cannicos que no forman
parte de la funcin.
Por ejemplo, si:
f = 3 (0,2,5)
Para obtener la expresin como producto; se representa como f = 3 (0,1,3,4,6)
Cuando una funcin lgica se presenta de una forma no cannica, su transformacin en cannica
resulta muy sencilla por procedimientos algebraicos.
Si se desea obtener la expresin cannica en forma de suma de productos cannicos, se operar
algebraicamente aplicando las propiedades distributivas del producto con respecto a la suma, hasta
obtener una expresin de suma de productos no cannicos. Para convertir cada uno de estos
productos en cannicos, se le multiplica por la suma de las variables que faltan en l y sus inversas.
Ejemplo:
_ _
Sea la funcin: f = a(b+c) + c
Aplicando la propiedad distributiva del producto con respecto a la suma, resulta:
_
_
f = ab + ac + c
De acuerdo con lo explicado anteriormente:
_
_
_
_
_
f = ab(c + c) + ac(b + b) + c(a + a) (b + b)

Y aplicando la propiedad distributiva del producto con respecto a la suma, resulta:


_
_
_
_ _
_
f = abc + abc + abc + abc + cab + (ca+ca)(b+b)
Suprimiendo los trminos repetidos, resulta:

_
__
_
_
__
f = abc + abc + abc + abc + abc + a b c
La funcin se puede expresar como: f = 3 (1,3,4,5,6,7)
De igual forma, si se desea obtener la expresin cannica en forma de producto de sumas cannicas,
se operar algebraicamente aplicando la propiedad distributiva de la suma con respecto al producto
hasta obtener una expresin de producto de sumas no cannicas. Para convertir cada una de estas
sumas en cannicas, se le suma el producto de cada variable que falta en ella por su inversa.
Ejemplo:
_ _
f = a(b + c) + c
Aplicando la propiedad distributiva de la suma con respecto al producto:
_ _
f = (a + c) (b + c + c) = a + c
_
f = a + c + bb
Y aplicando nuevamente la propiedad distributiva de la suma con respecto al producto, tenemos:
_
f = (a + b + c) (a + b + c)
f = P3 (5,7)

2. TABLA DE VERDAD DE UNA FUNCION LOGICA


2.1. Definicin
La tabla de verdad de una funcin lgica es una forma de representacin de la misma, en la que se
indica el valor 1 o 0 que toma la funcin para cada una de las combinaciones posibles de las
variables de las cuales depende.
En la tabla se representa la tabla de verdad de una funcin de tres variables:
La deduccin de la funcin en forma cannica por medio de la tabla de verdad resulta:
__
_
__
_
f=abc+abc+abc+abc+abc
f = 3 (1,3,4,6,7) = 3 (2,5,7)

Funcin OR-Exclusiva
La funcin o-exclusiva de dos variables a y b, es aquella que toma el valor 1 cuando una de las
variables toma el valor uno y la otra el valor cero o viceversa.

Las propiedades de la funcin Or-exclusiva de n variables se deducen aplicndola primero a dos


variables, seguidamente al resultado obtenido a una tercera variable y as sucesivamente.
Se comprueba fcilmente que la funcin Or-exclusiva de n variables toma el valor lgico 1, si se
encuentra un nmero impar de ellas en estado uno, y el valor lgico 0, si es un nmero par de ellas
el que posee el valor lgico uno:
fo = a b c d .. n
fo = 1 Si un nmero impar de variables est en uno.
fo = 0 Si un nmero par de variables est en uno.
Nos encontramos tambin con la funcin Nor-Exclusiva, cuya tabla de verdad es el complemento
de la anterior (Or-Exclusiva). Se le conoce tambin como comparador.

Você também pode gostar