Algebra de Boole:

Definiciones bsicas:
El Algebra de Boole es un sistema matemtico que utiliza variables y operadores lgicos.
Las variables pueden ser b={0,1}. Y las operaciones bsicas son OR(+) y AND(). Luego
se denen las expresiones de conmutacin como un nmero nito de variables y
constantes, relacionadas mediante los operadores (AND y OR). En la ausencia de
parntesis, se utilizan las mismas reglas de precedencia, que tienen los operadores suma
(OR) y multiplicacin (AND) en el lgebra normal.

Teoremas del algebra de Boole:

Teorema 1: el elemento complemento A es nico.
Teorema 2 (elementos nulos): para cada elemento de B se verifica:
a+1 = 1
a0 = 0
Teorema 3: cada elemento identidad es el complemento del otro.
0=1
1=0
Teorema 4 (idempotencia): para cada elemento de B, se verifica:
a+a=a
aa=a
Teorema 5 (involucin): para cada elemento de B, se verifica:
(a) = a
Teorema 6 (absorcin): para cada par de elementos de B, se verifica:
a+ab=a
a(a+b)=a
Teorema 7: para cada par de elementos de B, se verifica:
a + ab = a + b
a (a + b) = a b
Teorema 8 (Asociatividad): cada uno de los operadores binarios (+) y () cumple la
propiedad asociativa:
a+(b+c) = (a+b)+c
a(bc) = (ab)c
Leyes De Morgan: para cada par de elementos de B, se verifica:
(a+b) = ab
(ab) = a + b
Constantes y Variables Booleanas:
El lgebra booleana difiere de del algebra ordinaria ya que sus constantes y variables solo
pueden tener dos valores, 0 o 1. Una variable booleana es una cantidad que pueden en
diferentes ocasiones, ser igual 0 a 1; estas se emplean para representar el voltaje de las
terminales de entrada y de salida de un circuito y por lo tanto el 0 y el 1 booleano no
representan nmeros sino el estado de una variable de voltaje o lo que se conoce como
nivel lgico. En el campo de la lgica digital se emplean otros trminos como sinnimos
de 0 y 1 por ejemplo:
0 Lgico 1 Lgico
Falso Verdadero
Desactivado Activado
Bajo Alto
No Si
Interruptor Abierto Interruptor Cerrado
Al haber solamente dos valores en el lgebra booleana (0 y 1) es relativamente fcil de
manejar en comparacin con la ordinaria. De hecho, en el lgebra booleana solo existen
tres operaciones bsicas: OR, AND Y NOT.
Estas operaciones bsicas se llaman operaciones lgicas. Es posible construir circuitos
digitales llamados compuertas lgicas que con diodos, transistores y resistencias
conectados de cierta manera hacen que la salida del circuito sea el resultado de una
operacin lgica bsica sobre la entrada.
Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1 (VERDADERO).
Variables booleanas: Son magnitudes que pueden tomar diferentes valores en diferentes
momentos. Pueden representar seales de entrada o de salida y reciben nombres de
caracteres alfabticos como: A, B, X, Y. Slo pueden tomar los valores 0 o 1.
Propiedades Booleanas:
Las expresiones booleanas poseen las siguientes propiedades:
Idempotente respecto a la primera funcin: x + x = x
Idempotente respecto a la segunda funcin: xx = x
 Maximalidad del 1: x + 1 = 1
Minimalidad del 0: x0 = 0
Involucin: (x')' = x
Inmersin respecto a la primera funcin: x + (xy) = x
Inmersin respecto a la segunda funcin: x(x + y) = x
Ley de Morgan respecto a la primera funcin: (x + y)' = x'y'
Ley de Morgan respecto a la segunda funcin: (xy)' = x' + y'

Relacin de Orden de un algebra booleana:

Una relacin & en un conjunto S se llama un orden parcial en S si cumple las tres propiedades
siguientes:

(1) a & a para todo a en S (Reflexiva)

(2) Si a & b y b & a, entonces a=b (antisimtrica)

(3) Si a & b y b & c, entonces a & c (transitiva)

Un conjunto S junto con un orden parcial se llama conjunto parcialmente ordenado. En tal
caso, a b se lee a precede a b. Tambin escribimos:

a < b (lea a precede estrictamente a b) si a b pero a b

a b (lea a sigue a b) si b a

a > b (lea a sigue estrictamente a b) si b < a

El trmino parcial se usa al definir un conjunto parcialmente ordenado S, porque puede

haber elementos a y b de S que no son compatibles, o sea, talvez que ni ab ni ba. Si por otra
parte, todo par de elementos de S es comparable, entonces se dice que S es totalmente
ordenado, o linealmente ordenado, y S se denomina cadena.

Simplificacin de expresiones Booleanas:

1.- A + 0 = A
Esta regla dice que si se aplica el OR a una variable cualquier y a cero el resultado es
siempre igual por ejemplo:
Si A = 0 0+0=A
Si A = 1 1 +0=A
2.- A + 1 = 1
Independientemente de la entrada la salida siempre ser 1.
Si A = 0 0+1=1
Si A= 1 1+1=1
3.- A * 0 = 0
Si se aplica el AND a una variable y a cero el resultado es siempre igual a cero.

4.- A * 1 = A
Aplicando el AND a cualquier variable el resultado es siempre igual a la variable.
Si A = 0 0*1= Si A = 1 1*1=A
5.- A + A = A
Si se aplica la operacin OR a una variable consigo misma el resultado es siempre
igual a la variable

6.- A + A = 1
Dice que si se aplica la operacin OR a una variable y a su componente el resultado es
siempre igual a 1.

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

7.- A * A = A
Si se aplica la operacin AND a una variable consigo misma, el resultado es siempre
igual a la variable.

8.- A * A = 0
Si se aplica la operacin AND a una variable y a su complemento, el resultado es
siempre igual a cero.
si A=0 1*0=0

si A=1 0*1=0

9.- A = A
El complemento del complemento de una variable siempre es igual a la propia variable.

si A =0 0=0

si A=1 1=1

10.- A + AB = A
Se puede obtener aplicando la ley distributiva, reglas 2 y 4

A + AB = A (1 + B)(FACTOR COMN)
= A * 1 ( (1 + B)= 1)
= A (A* 1 = A)
La salida es A

11.- A + AB = A + B

Se demuestra de la siguiente manera:

A + AB = (A + AB) + AB (REGLA 10: A=A+AB)
_
= A + (A+ A) B (SACAR FACTOR COMN)
_
= A + 1 * B (REGLA 6 : A + A = 1)
= A + B (REGLA 4 : A * 1 = A)
La salida es A.

12.- (A + B) (A + C) = A + BC

Se demuestra de la siguiente manera:

 (A + B) (A + C)= AA +AC +BA + BC (LEY DISTRIBUTIVA)

= A + AC + AB+ BC (REGLA 7: AA= A)

= A + BC (REGLA 10: A + AB= A)Aplicndola 2 veces

La salida es A.

Ejemplo de implicacin de expresiones booleanas mediante el uso de teoremas:

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

F=AB+A+B+C+CB+CA

F=AB+A+B+CB+C+CA

F=A(B+1)+B+CB+C+CA

F=A(B+1)+B(1+C)+C+CA

F=A1+B(1+C)+C+CA

F=A+B(1+C)+C+CA

F=A+B1+C+CA

F=A+B+C+CA

F=A+B+C+A

F=(A+A)+B+C

F=1+B+C

F=(1+B)+C

F=1+C

F= 1

Expresiones Booleanas:

Se usan para determinar si un conjunto de una o ms condiciones es verdadero o falso, y

el resultado de su evaluacin es un valor de verdad.
Funciones de n variables

Si hay n variables la tabla de verdad tendr 2n columnas. Cada fila tiene como
resultado un 0 o un 1.

El nmero de posibles funciones (que resultan en 0 o 1) crece rpidamente, en

termino de n es: 22

Funcin para 2 variables:

Para n=2 se tienen 22 = 16 funciones

Como son las funciones equivalentes a la tabla?

f0=0, f1=XY, f2=XY, f3=X, f4=XY, ..., f14=XY + XY + XY= A + B = (AB),

f15=1

Funcin Normal Disyuntiva

Una expresin booleana est en forma normal disyuntiva en n variables x1, x2,... xn, si la
expresin es una suma de trminos del tipo E1 (x1) E2( x2) ... En(xn), donde Ei(xi)
= xi o xi para i = 1, 2,..., n, y ningn par de trminos son idnticos. Adems, se dice que
0 y 1 estn en F.N.D en una variable para todo n 0.

En lgica booleana, una forma normal disyuntiva (FND) es una estandarizacin (o

normalizacin) de una frmula lgica que es una disyuncin de clusulas conjuntivas.
Como una forma normal, es til en la demostracin automtica de teoremas. Una
frmula FND est en forma normal disyuntiva completa si cada una de sus variables
aparece exactamente una vez en cada clusula.
Al igual que en forma normal conjuntiva (FNC), los nicos operadores proposicionales
en FND son la conjuncin, disyuncin y negacin. Una negacin solo se puede aplicar a
un literal, lo que significa que solo puede preceder a una variable proposicional.

Escribir (xy + xz) + x' en F.N.D

Solucin:
(xy + xz) + x' = (xy)(xz) + x'
= (x + y)(x + z) + x
= x + yz + x
= x + x + yz
= x + yz
= x(y + y)(z + z) + yz(x + x)
= x y z + x y z + x y z + x y z + x y z
Funcin Normal Conjuntiva

En esta forma cada funcin se representa como un producto de sumas, en lugar de una
suma de productos.

Una funcin booleana est en F.N.C en n variables x1, x2,... xn, para n 0, si la funcin
en un producto de factores del tipo E1 (x1) + E2( x2) +... + En(xn), donde Ei(xi) = xi o
xi para i = 1, 2, ..., n, y ningn par de factores son idnticos. Se dice tambin que 0 y 1
estn en F.N.C en n variables para n 0.

En lgica booleana, una frmula est en forma normal conjuntiva (FNC) si corresponde
a una conjuncin de clusulas, donde una clusula es una disyuncin de literales, donde
un literal y su complemento no pueden aparecer en la misma clusula. Esta definicin es
similar a la de forma de productos de sumas usadas en teora de circuitos.

Todas las conjunciones de literales y todas las disyunciones de literales estn en FNC,
puesto que pueden ser vistas, respectivamente, como conjunciones de clusulas de un
literal, y como conjunciones de una nica clusula. Al igual que en una forma normal
disyuntiva (FND), los nicos conectivos lgicos que pueden aparecer en una frmula en
FNC son la conjuncin, disyuncin y negacin. El operador negacin solo puede
aplicarse a un literal, y no a una clusula completa, lo que significa que este slo puede
preceder a una variable proposicional o un smbolo de predicado.

Escribir la funcin f (x, y, z) = (x y + y z) + y en la forma normal conjuntiva.

 f (x, y, z) = (x y + y z) + y
= (x y) (y z) + y
= (x + y) (y + z) + y
= (y + x) (y + z) + y
= y + (y + x) (y + z)
= (y + y + x) (y + y + z)
= (y + x) (y + z)
= (y + x + z z) ( x x + y + z)
= (y + x + z) (y + x + z) (x + y + z) (x + y + z)
= (x + y + z) (x + y + z) (x + y + z) (x + y + z)
= (x + y + z) (x + y + z) (x + y + z) (x + y + z)
= (x + y + z) (x + y + z) (x + y + z)

Simplificacin de expresiones booleanas mediante mapas de Karnaugh:

Creados en 1950 por Maurice Karnaugh (fsico y matemtico de los Laboratorios Bell)

Evita hacer clculos (aprovecha la capacidad humana del reconocimiento de patrones).

Son representaciones bidimensionales de la tabla de verdad de la funcin a simplificar

Un mapa es un diagrama compuesto de celdas, donde cada una representa un

minitrmino

La cantidad de celdas del mapa es 2n ; donde n representa la cantidad de variables

Se recomiendan para expresiones de hasta 6 variables

Generan expresiones en una de las formas estndar: suma de productos o producto de

sumas

Representacin de expresiones con mapas de karnaugh:

Un mapa de Karnaugh es una representacin grfica de la tabla de verdad

La tabla de verdad tiene un rengln por cada minitrmino

El mapa de Karnaugh tiene una celda por cada minitrmino

Mapas de Karnaugh de 2 variables:

Sea f una funcin de 2 variables f(A, B)

Se forma un mapa de 22=4 minitrminos (celdas)

Mapas de Karnaugh de 3 variables:

Sea f una funcin de 3 variables f(A, B, C)

Se forma un mapa de 23=8 minitrminos

Es importante colocar las variables en el orden indicado de ms a menos significativo

(A, B, C); ya que de otra forma el valor decimal sera diferente

Note que en las columnas AB no se sigue el orden progresivo de valores, 00, 01, 10 y
11; sino 00, 01, 11 y 10.

Esto se debe a que el proceso de minimizacin depende de la ubicacin de las celdas en

el mapa; ya que, entre una celda y otra (en forma horizontal o en forma vertical) slo
debe cambiar 1 variable (adyacencia lgica).

Una forma ms sencilla de representar el minitrmino en la celda es sealando su valor

decimal
Mapas de Karnaugh de 4 variables:

Sea f una funcin de 4 variables f(A, B, C, D)

Se forma un mapa de 24=16 minitrminos.

Se sigue el mismo procedimiento que para una funcin de 3 variables.

Obsrvese el orden de colocacin de las variables.

Los renglones siguen el mismo orden de las columnas (00, 01, 11 y 10) para que haya
adyacencia lgica.
Compuertas Lgicas:
Compuerta IF (SI)

La puerta lgica IF, llamada SI en castellano, realiza la funcin booleana de la igualdad.

En los esquemas de un circuito electrnico se simboliza mediante un tringulo, cuya base
corresponde a la entrada, y el vrtice opuesto la salida. Su tabla de verdad es tambin
sencilla: la salida toma siempre el valor de la entrada. Esto significa que, si en su entrada
hay un nivel de tensin alto, tambin lo habr en su salida; y si la entrada se encuentra en
nivel bajo, su salida tambin estar en ese estado.

Compuerta NOT (NO)

El circulo en la salida significa negacin.

Esta compuerta presenta en su salida un valor que es el opuesto del que est presente en
su nica entrada. En efecto, su funcin es la negacin, y comparte con la compuerta IF la
caracterstica de tener solo una entrada. Se utiliza cuando es necesario tener disponible
un valor lgico opuesto a uno dado. La figura muestra el smbolo utilizado en los
esquemas de circuitos para representar esta compuerta, y su tabla de verdad.
Se simboliza en un esquema elctrico en el mismo smbolo que la compuerta IF, con un
pequeo crculo agregado en su salida, que representa la negacin.
El estado de la salida es el opuesto al de la entrada
Compuerta AND (Y)

Con dos o ms entradas, esta compuerta realiza la funcin booleana de la multiplicacin.

Su salida ser un 1 cuando todas sus entradas tambin estn en nivel alto. En cualquier
otro caso, la salida ser un 0. El operador AND se lo asocia a la multiplicacin, de la
misma forma que al operador SI se lo asociaba a la igualdad. En efecto, el resultado de
multiplicar entre si diferentes valores binarios solo darn como resultado 1 cuando
todos ellos tambin sean 1, como se puede ver en su tabla de verdad. Matemticamente
se lo simboliza con el signo x.
Compuerta OR (O)

La funcin booleana que realiza la compuerta OR es la asociada a la suma, y

matemticamente la expresamos como +. Esta compuerta presenta un estado alto en su
salida cuando al menos una de sus entradas tambin est en estado alto. En cualquier otro
caso, la salida ser 0. Tal como ocurre con las compuertas AND, el nmero de entradas
puede ser mayor a dos.
Compuerta NAND (NO Y)
Agregando una etapa NOT a una compuerta AND obtenemos una NAND.
Cualquier compuerta lgica se puede negar, esto es, invertir el estado de su salida,
simplemente agregando una compuerta NOT que realice esa tarea. Debido a que es una
situacin muy comn, se fabrican compuertas que ya estn negadas internamente. Este es
el caso de la compuerta NAND: es simplemente la negacin de la compuerta AND vista
anteriormente.
Esto modifica su tabla de verdad, de hecho, la invierte (se dice que la niega) quedando
que la salida solo ser un 0 cuando todas sus entradas estn en 1.
El pequeo crculo en su salida es el que simboliza la negacin. El nmero de entradas
debe ser como mnimo de dos, pero no es raro encontrar NAND de 3 o ms entradas.

Compuerta NOR (NO O)

De forma similar a lo explicado con la compuerta NAND, una compuerta NOR es la
negacin de una compuerta OR, obtenida agregando una etapa NOT en su salida.

Agregando una etapa NOT a una compuerta AND obtenemos una NAND.
Como podemos ver en su tabla de verdad, la salida de una compuerta NOR es 1 solamente
cuando todas sus entradas son 0. Igual que en casos anteriores, la negacin se expresa en
los esquemas mediante un crculo en la salida. El nmero de entradas tambin puede ser
mayor a dos.

Compuerta XOR (O Exclusivo)

XOR es la funcin ideal para sumar dgitos binarios.

La compuerta OR vista anteriormente realiza la operacin lgica correspondiente al O

inclusivo, es decir, una o ambas de las entradas deben estar en 1 para que la salida sea 1.
Un ejemplo de esta compuerta en lenguaje coloquial seria Maana ir de compras o al
cine. Basta con que vaya de compras o al cine para que la afirmacin sea verdadera. En
caso de que realice ambas cosas, la afirmacin tambin es verdadera. Aqu es donde la
funcin XOR difiere de la OR: en una compuerta XOR la salida ser 0 siempre que las
entradas sean distintas entre si. En el ejemplo anterior, si se tratase de la operacin XOR,
la salida seria 1 solamente si fuimos de compras o si fuimos al cine, pero 0 si no fuimos
a ninguno de esos lugares, o si fuimos a ambos.

Compuerta NXOR (No O Exclusivo)

XOR + NOT = NXOR
No hay mucho para decir de esta compuerta. Como se puede deducir de los casos
anteriores, una compuerta NXOR no es ms que una XOR con su salida negada, por lo
que su salida estar en estado alto solamente cuando sus entradas son iguales, y en estado
bajo para las dems combinaciones posibles.

Circuitos Lgicos

Definicin

Un Circuito Lgico es aquel que maneja la informacin en forma de "1" y "0", dos

niveles lgicos de voltaje fijos. "1" nivel alto o "high" y "0" nivel bajo o "low". Puede

ser cualquier circuito que se comporte de acuerdo con un conjunto de reglas lgicas.

Los circuitos lgicos, forman la base de cualquier dispositivo en el que se tengan que

seleccionar o combinar seales de manera controlada. Entre los campos de aplicacin de

estos tipos de circuitos pueden mencionarse la conmutacin telefnica, las

transmisiones por satlite y el funcionamiento de las computadoras digitales.

Componentes de un Circuito Lgico

A continuacin se presenta la lista completa de los componentes de los circuitos
lgicos.
 CONECTOR, COMPUERTA
ENTRADA(S), SALIDA
CONNECTOR/GATE,
INPUT(S), OUTPUT
NOMBRE/NAME
TABLA DE VERDAD
AMORTIGUADOR

Circuitos Lgicos Combinatorios

Un circuito combinatorio es un arreglo de compuertas lgicas con un conjunto de

entradas y salidas. En cualquier momento, los valores binarios de las salidas son una

combinacin binaria de las entradas. Los circuitos combinatorios se emplean en las

computadoras digitales para generar decisiones de control binarias y para proporcionar

los componentes digitales requeridos para el procesamiento de datos.

n variables de entrada

m variables de salida

El diseo de un circuito combinatorio parte del planteamiento verbal del problema y

termina con un diagrama lgico. El procedimiento es el siguiente:

1. 2. 3. 4. 5.

Se establece el problema Se asignan smbolos a las variables de entrada y salida. Se

extrae la tabla de verdad. Se obtienen las funciones booleanas simplificadas. Se traza el

diagrama lgico.

El circuito aritmtico digital ms simple es el de la suma de dos dgitos binarios. Un

circuito combinatorio que ejecuta la suma de dos bits se llama semisumador

Implementarlo.

Semisumador (Medio Sumador o Half Adder)

Otro mtodo para sumar dos nmeros de n bits consiste en utilizar circuitos separados

para cada par correspondiente de bits: los dos bits que se van a sumar, junto con el

acarreo resultante de la suma de los bits menos significativos, lo cual producir como

salidas un bit de la suma y un bit del acarreo de salida del bit ms significativo.

Circuitos Lgicos Secuenciales

A diferencia de los circuitos combinacionales, en los circuitos secuenciales se guarda

memoria de estado. Las salidas no dependen tan solo del valor de las entradas en un

instante dado, sino que tambin estn determinadas por el estado almacenado en el

circuito. Dicho de otra forma, un circuito secuencial tiene memoria. En los circuitos

secuenciales se distinguir entre circuitos secuenciales asncronos y sncronos.

Un circuito secuencial asncrono evoluciona ante cualquier cambio en las entradas de

forma inmediata, no tiene periodicidad de funcionamiento, se rige por eventos. Aunque

los circuitos secuenciales ms bsicos siempre tendrn una parte con comportamiento

asncrono, para los circuitos secuenciales complejos no es deseable que sigan este

comportamiento (los cambios de estado se producen de forma espordica, ante eventos

en las entradas, sin periodicidad, se pueden producir comportamientos que dependen del

orden de sucesin de eventos cuando no se desea ese comportamiento etc.)

Los circuitos secuenciales complejos se disean para comportamiento sncrono, los

cambios se producen de forma peridica y controlada, ante cambios de una seal

denominada seal de reloj (clock). Todas las entradas se muestrean de forma

simultnea en un instante determinado por la seal de reloj, la evolucin del estado y las
salidas queda determinada por el valor que tenan las entradas y el estado en el instante

de muestreo. Se puede decir que el sistema evoluciona entre estados discretos para

instantes (k-1)T, kT, (k+1)T, , siendo T el periodo de reloj.

Circuitos Lgicos Programables

Un CLP es una mquina electrnica la cual es capaz de controlar mquinas e incluso

procesos a travs de entradas y salidas. Las entradas y las salidas pueden ser tanto

analgicas como digitales.

Las formas como los CLP intercambian datos con otros dispositivos son muy variadas.

Tpicamente un CLP puede tener integrado puertos de comunicaciones seriales que

pueden cumplir con distintos estndares de acuerdo al fabricante.

SIMPLIFICACION DE CIRCUITOS LGICOS

Una vez que se obtiene la expresin booleana para un circuito lgico, podemos reducirla

a una forma ms simple que contenga menos trminos, la nueva expresin puede

utilizarse para implantar un circuito que sea equivalente al original pero que contenga

menos compuertas y conexiones.

SIMPLIFICACION ALGEBRAICA.

El lgebra booleana (Algebra de los circuitos lgicos tiene muchas leyes o teoremas

muy tiles tales como :

1. Ley de Morgan :

1. 1. A + B = AB

2. AB = A + B

2. Ley Distributiva :

1. 3. A+(BC) = (A+B)(A+C)
 4. A(B+C) = AB+AC

Adems de las leyes formales para las funciones AND y OR :

1. 5. A0 = 0 ; A+0 = A

6. A1 = A ; A+1 = 1

7. AA = A ; A+A = A

8. AA = 0 ; A+A = 1

y la Ley de la Involucin:

1. 9. A(negada) = A

Considerar la expresin booleana AB + AB + AB = Y, un diagrama lgico de sta

expresin aparece en la Figura 1. Observar que deben utilizarse seis puertas para

implementar este circuito lgico, que realiza la lgica detallada en la tabla de verdad

(Tabla 1)

Figura 1: Circuito lgico no simplificado

ENTRADAS SALIDA
B A Y
0 0 0
0 1 1
1 0 1
 1 1 1
Tabla 1: Tabla de verdad de la funcin OR

Figura 2: Circuito lgico simplificado

Aplicando el lgebra booleana :

AB + AB + AB = Y

RAZONES

= AB + (AB + AB) , Propiedad asociativa

= AB + B(A+A) , 4. [A(B + C) = AB + AC]

= AB + B1 , 8. [A + A = 1]

= AB + B , 6. [B1 = B]

= B + AB , Propiedad conmutativa

= (B + A)(B + B) , 3. [A + (BC) = (A + B)(A + C)]

= (B + A)1 , 8. [A + A = 1]

= B + A , 6. [A * 1 = A]

Concluimos entonces que una sola puerta OR de dos entradas realiza la misma funcin

( De hecho la tabla 1 corresponde a la funcin OR !)