lgebra Booleana

El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y

uno (falso y verdadero). Un operador binario " " definido en ste juego de valores acepta
un par de entradas y produce un solo valor booleano, por ejemplo, el operador booleano
AND acepta dos entradas booleanas y produce una sola salida booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se
pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra
booleana a menudo emplea los siguientes postulados:
Cerrado. El sistema booleano se considera cerrado con respecto a un operador
binario si para cada par de valores booleanos se produce un solo resultado booleano.

Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B A

para todos los posibles valores de A y B.

Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A (B

C) para todos los valores booleanos A, B, y C.

Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) =
(A B) % (A C) para todos los valores booleanos A, B, y C.

Identidad. Un valor booleano I se dice que es un elemento de identidad con

respecto a un operador binario " " si A I = A.

Inverso. Un valor booleano I es un elemento inverso con respecto a un operador

booleano " " si A I = B, y B es diferente de A, es decir, B es el valor opuesto de A.

digitos que emplea el algebra de george boole

La informacin binaria que manejan los sistemas digitales
aparece en forma de seales digitales que representan
secuencias de bits.
- Cuando la seal est a nivel ALTO, se representa con 1
binario, mientras que si la seal est a nivel BAJO, lo indica un
0 binario.
- Cada bit dentro de una secuencia ocupa un intervalo de
tiempo definido denominado periodo del bit.
- En los sistemas digitales, todas las seales se sincronizan
con una seal de temporizacin bsica de reloj.
- El reloj es una seal peridica en la que cada intervalo entre
impulsos (el periodo) equivale a la duracin de 1 bit.
 LEYES DE SIMPLIFICACIN DE EXPRESIONES
BOOLEANAS

1. A+0=A
2. A+1=1
3. A*0=0
4. A+1=1
5. A+A=A
6. A+=1
7. A+A=A
8. A+=0
9. =A
10. A+AB=A
 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 = A

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=A
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.

_
 Minitrminos
Para una funcin booleana de n variables x1,...xn, un producto booleano en el que cada
una de las n variables aparece una sola vez (negada o sin negar) es llamado minterms.
Es decir, un minterms es una expresin lgica de n variables consistente nicamente
en el operador conjuncin lgica (AND) y el operador complemento o negacin (NOT).
Por ejemplo, abc, ab'c y abc' son ejemplos de minterms para una funcin booleana con
las tres variables a, b y c.
En general, uno asigna a cada minterm (escribiendo las variables que lo componen en
el mismo orden), un ndice basado en el valor binario del minterm. un trmino negado,
como a' es considerado como el numero binario 0 y el trmino no negado a es
considerado como un 1. Por ejemplo, se asociara el nmero 6 con a b c'(1102), y
nombraramos la expresin con el nombre m6. Entonces m0 de tres variables
es a'b'c'(0002) y m7 debera ser a b c(1112).
Funcin equivalente
Se puede observar que cada minterm solo devuelve 'verdadero' con una sola entrada
de las posibles. Por ejemplo, el minterm 5, a b' c, es verdadero solo cuando a y c son
ciertos y b es falso - la entrada a = 1, b = 0, c = 1 da resultado 1.
Si tenemos una tabla de verdad de una funcin lgica, es posible escribir la funcin
como "suma de productos". Por ejemplo, dada la tabla de verdad
a b f(a, b)
001
010
101
110
Observamos que las filas con resultado 1 son la primera y la tercera, entonces
podremos escribir f como la suma de los minterms m0 y m2.
Si queremos verificar esto:
f(a,b) = m0 + m2 = (a'b')+(ab')
Tendremos que la tabla de verdad de la funcin, calculndola directamente, ser la
misma.

Maxitrminos
Un maxterm es una expresin lgica de n variables que consiste nicamente en la
disyuncin lgica y el operador complemento o negacin. Los maxterms sn una
expresin dual de los minterms. En vez de usar operaciones AND utilizamos
operaciones OR y procedemos de forma similar.
Por ejemplo, los siguientes son maxterms:
a+b'+c
a'+b+c

El complemento de un minterm es su respectivo maxterm. Esto puede ser fcilmente

verificado usando la Ley de Morgan. Por ejemplo:
m1' = M1
(a'b)' = a+b'
Para indexar maxterms lo haremos justo de la forma contraria a la que seguimos con
los minterms. Se asigna a cada maxterm un ndice basado en el complemento del
nmero binario que representa (otra vez asegurndonos que las variables se escriben
en el mismo orden, usualmente alfabtico). Por ejemplo, podemos asignar M6 (Maxterm
6) al maxterm a'+b'+c. De forma similar M0 de tres variables debera
ser a+b+c y M7 es a'+b'+c'.
Funcin equivalente
Se puede ver fcilmente que un maxterm slo da como resultado un cero para una
nica entrada de la funcin lgica. Por ejemplo, el maxterm 5, a'+b+c', es falso solo
cuando a y c son ciertos y b es falso - la entrada a = 1, b = 0, c = 1 da como resultado
un cero.
Si tenemos una tabla de verdad de una funcin lgica, es posible escribir la funcin
como "producto de sumas". Por ejemplo, dada la tabla de verdad
a b f(a, b)
001
010
101
110
Observamos que las filas que tiene como salida un 0 son la segunda y la cuarta,
entonces podemos escribir f como un producto de maxterms M1 y M3.
Si queremos verificar esto:
f(a,b) = M1 M3 = (a+b')(a'+b')
Tendremos que la tabla de verdad de la funcin, calculndola directamente, ser la
misma.

Mapa de Karnaugh
Otra manera de simplificar funciones es representndolas en mapas de Karnaugh. Esto es
equivalente a resolver las simplificaciones por teoremas. Sin embargo, mucha gente
considera que resulta ms fcil visualizar las simplificaciones si se presentan
grficamente.
Los mapas de Karnaugh pueden aplicarse a dos, tres, cuatro y cinco variables. Para
ms variables, la simplificacin resulta tan complicada que conviene en ese caso utilizar
teoremas mejor. Para efectos de clase, veremos las simplificaciones de dos, tres y
cuatro variables.
MTODO DE REDUCCIN DE MAPAS DE KARNAUGH
El lgebra de Boole, resuelve problemas que dependiendo del nmero de trminos que
tena la funcin cannica, siendo el nmero de compuertas lgicas utilizadas igual al
nmero de trminos obtenidos MS UNO; por lo tanto, los circuitos obtenidos son de dos
niveles de conmutacin con un tiempo mnimo de retardo, pero que de ninguna
manera es el ms sencillo ni el ms econmico.
Los mapas de Karnaugh es uno de los mtodos ms prcticos. Se puede decir que es
el ms poderoso, cuando el nmero de variables de entrada es menor o igual a seis;
ms all, ya no es tan prctico. En general, el mapa de Karnaugh se considera como la
forma grfica de una tabla de verdad o como una extensin del diagrama de Venn.
Antes de explicar cmo se utiliza el mapa de Karnaugh en la minimizacin de
funciones, veremos cmo se obtiene el mapa. Esto nace de la representacin
geomtrica de los nmeros binarios. Un nmero binario de n bits, puede representarse
por lo que se denomina un punto en un espacio N. Para entender lo que se quiere decir
con esto, considrese el conjunto de los nmeros binarios de un bit, es decir 0 o 1. Este
conjunto puede representarse por dos puntos en un espacio 1; esto es, por dos puntos
unidos por una lnea

Aritmtica Binaria

Para qu sirve la aritmtica binaria?

Todas las operaciones matemticas (sumas, restas, divisiones, etc.) que realiza
la computadoraestn basadas en la aritmtica binaria.

Suma Binaria

La aritmtica binaria es muy similar a la aritmtica decimal. Por ejemplo, para

realizar una suma binaria hay que tener en cuenta la siguiente tabla:

Ejemplo 1: Para sumar los nmeros binarios 100102 y 1102 se puede escribir:

Para comprobar si la suma es correcta, podemos convertir los nmeros binarios a

base 10. As pues, aplicando el Teorema Fundamental de la Numeracin (TFN)
obtendremos:

1 Sumando 100102 = 124 + 023 + 022 + 121 + 020 = 16 + 0 + 0 + 2 + 0 = 1810

2 Sumando 1102 = 122 + 121 + 020 = 4 + 2 + 0 = 610

Resultado 110002 = 124 + 123 + 022 + 021 + 020 = 16 + 8 + 0 + 0 + 0 = 2410

y, efectivamente,

1810 + 610 = 2410

Resta Binaria
Si se quiere realizar una resta binaria se debe considerar la siguiente tabla:

Ejemplo 2: Para restar los nmeros binarios 1010012 y 10112 escribiremos:

Multiplicacin Binaria

Para efectuar una multiplicacin binaria se tiene que tener en cuenta la siguiente
tabla:
Ejemplo 3: Para realizar el producto de los nmeros binarios 101012 y 1012 hay
que realizar los siguientes clculos:

Divisin Binaria

En cuanto a las divisiones binarias, las reglas tambin son las mismas que en el
Sistema Decimal, con la ventaja de que en binario slo se usan dos dgitos.

Ejemplo 4: Para dividir 1100102 entre 102 los clculos son: