ALGEBRA DE BOOLE

HISTORIA
A mediados del siglo XIX, George Boole (1815-1864), en sus libros: "The Mathematical
Analysis of Logic" (1847) y "An Investigation of te Laws of Thought" (1854), desarrolló
la idea de que las proposiciones lógicas podían ser tratadas
mediante herramientas matemáticas. Las proposiciones lógicas (asertos, frases o
predicados de la lógica clásica) son aquellas que únicamente pueden
tomar valores Verdadero/Falso, o preguntas cuyas únicas respuestas posibles sean Sí/No.
Según Boole, estas proposiciones pueden ser representadas mediante símbolos y
la teoría que permite trabajar con estos símbolos, sus entradas (variables) y sus salidas
(respuestas) es la Lógica Simbólica desarrollada por él. Dicha lógica simbólica cuenta
con operaciones lógicas que siguen el comportamiento de reglas algebraicas. Por ello, al
conjunto de reglas de la Lógica Simbólica se le denomina ÁLGEBRA DE BOOLE.
A mediados del siglo XX el álgebra Booleana resultó de una gran importancia práctica,
importancia que se ha ido incrementando hasta nuestros días, en el manejo
de información digital (por eso hablamos de Lógica Digital). Gracias a ella, Shannon
(1930) pudo formular su teoría de la codificación y John Von Neumann pudo enunciar
el modelo de arquitectura que define la estructura interna de los ordenadores desde la
primera generación.
Todas las variables y constantes del Álgebra booleana, admiten sólo uno de dos valores
en sus entradas y salidas: Sí/No, 0/1 o Verdadero/Falso. Estos valores bivalentes y
opuestos pueden ser representados por números binarios de un dígito (bits), por lo cual el
Álgebra booleana se puede entender cómo el Álgebra del Sistema Binario. Al igual que
en álgebra tradicional, también se trabaja con letras del alfabeto para denominar variables
y formar ecuaciones para obtener el resultado de ciertas operaciones mediante una
ecuación o expresión booleana. Evidentemente los resultados de las correspondientes
operaciones también serán binarios.

TEOREMAS:

TEOREMA 1: el elemento complemento A’ es único.

TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica:

A+1 = 1
A·0 = 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
A·A=A
TEOREMA 5 (INVOLUCIÓN): para cada elemento de B, se verifica:
(A’)’ = A
TEOREMA 6 (ABSORCIÓN): para cada par de elementos de B, se verifica:
A+A·B=A
A·(A+B)=A
TEOREMA 7: para cada par de elementos de B, se verifica:
A + A’·B = 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·(B·C) = (A·B)·C
LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:
(A+B)’ = A’·B’
(A·B)’ = A’ + B’

Minitérminos
Para una función 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 expresión lógica de n variables consistente únicamente en el
operador conjunción lógica (AND) y el operador complemento o negación (NOT).
Por ejemplo, abc, ab'c y abc' son ejemplos de minterms para una función 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 término negado,
como a' es considerado como el numero binario 0 y el término no negado a es
considerado como un 1. Por ejemplo, se asociaría el número 6 con a b c'(1102), y
nombraríamos la expresión con el nombre m6. Entonces m0 de tres variables
es a'b'c'(0002) y m7 debería ser a bc(1112).

Función 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 bes falso - la entrada a = 1, b = 0, c = 1 da resultado 1.
Si tenemos una tabla de verdad de una función lógica, es posible escribir la función 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 función, calculándola directamente, será la misma.

Maxitérminos
Un maxterm es una expresión lógica de n variables que consiste únicamente en la
disyunción lógica y el operador complemento o negación. Los maxterms són una
expresión 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 fácilmente

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 número
binario que representa (otra vez asegurándonos que las variables se escriben en el mismo
orden, usualmente alfabético). Por ejemplo, podemos asignar M6 (Maxterm 6) al
maxterm a'+b'+c. De forma similar M0 de tres variables debería
ser a+b+c y M7 es a'+b'+c'.
Función equivalente
Se puede ver fácilmente que un maxterm sólo da como resultado un cero para una única
entrada de la función lógica. Por ejemplo, el maxterm 5, a'+b+c', es falso solo
cuando a y cson 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 función lógica, es posible escribir la función 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 función, calculándola directamente, será la misma.
 MAPAS DE KARNAUGH
Los mapas de Karnaugh constituyen un método sencillo y apropiado para la minimización
de funciones lógicas. El tamaño del mapa depende depende del numero de variables, y el
método de minimización es efectivo para expresiones de hasta 6 variables.
Representación de funciones con mapas de Karnaugh
Un mapa de Karnaugh es una representación gráfica de una tabla de verdad, y por lo tanto
existe una asociación unívoca entre ambas. La tabla de verdad tiene una fila por cada
mintérmino, mientras que el mapa de Karnaugh tiene una celda por cada mintérmino. De
manera análoga, también existe una correspondencia unívoca entre las filas de la tabla de
verdad y las celdas del mapa de Karnaugh si se utilizan maxtérminos.

Para entender como

se representa un
mapa de Karnaugh,
supongamos que K
sea el conjunto de los
ceros y unos de una
función y su
representación sea un
rectángulo o un
cuadrado, Como se
muestra en la figura.
Una variable A podrá
asumir sólo dos
valores de verdad: 0 o
1, por lo que podemos
dividir K en dos
porciones:
una donde A vale cero
( A no existe)
otra donde A vale
uno ( A existe)
Colocamos la A a un
lado del rectángulo
para definir a
cual variable
corresponde la
distribución de K.
Observe que el
contrario de A (
existe donde A no
existe y viceversa; en
esta forma podemos
añadir al mapa de A
dos letras indicando el
lugar en donde son
válidas A y .
Ordinariamente solo se coloca la variable A y el 0 y 1
para indicar las áreas de existencia de A y .
Si deseamos representar en el mapa una función
dependiente de A, solo necesitaremos indicar en que
parte se encuentra. Sea por ejemplo f = A : f existe en
el área en que A existe ( f = 1 si A = 1). Podemos
entonces señalar el área de A como la región de
existencia de f. Esto lo hacemos colocando un 1 donde
f = 1.
Si la función fuera g = , colocaríamos un 1 en el área
donde A es igual a cero ( ) como se muestra en la
figura.

Mapas de Karnaugh de 2 variables

Sea f una
función de 2
variables f
(A,B)

Para elaborar
el mapa de
Karnaugh
tendremos 22 =
4
combinaciones.

En la figura se
muestra la
tabla de verdad
con la lista de
los mintérminos
y el lugar que
ocupa cada
uno de ellos en
un mapa.
Una manera mas sencilla de
representar el mintérmino en la
casilla correspondiente es
señalando su valor decimal.

Por ejemplo la combinación A=1

y B=1 es el termino AB cuyo
valor binario es 11 y que
convertido a decimal da 3.
(Mintérmino m3).

Mapas de Karnaugh de 3 variables

Sea f una función de 3

variables:f (A,B,C)

Para elaborar el mapa

de Karnaugh
tendremos 23 = 8
combinaciones.
Al igual que antes
cada casilla del mapa
corresponde a un
mintémino de la tabla
de verdad.
Es importante colocar
las variables en el
orden indicado de mas
significativo a menos
significativo (A, B, C),
de otra forma el valor
decimal de las casilla
sería diferente.
Mapas de Karnaugh de 4 variables

Sea f una función de 4 variables: f (A,B,C,D)

Para elaborar el mapa de Karnaugh tendremos

24 = 16 combinaciones.
Siguiendo el mismo procedimiento que para la
función de 3 variables obtenemos el mapa que
se muestra en la figura.
Note el orden en que se colocan las variables A,
B, C y mas significativo a menos significativo.
También como antes para las columnas AB, las
filas CD siguen el orden 00, 01, 11, 00 para que
haya adyacencia lógica

Mapas de Karnaugh de 5 variables

Sea f una función de 5

variables:f (A,B,C,D,E)

Para elaborar el mdk

tendremos 25 = 32
combinaciones.
Note que ahora una
casilla, además de ser
adyacente en forma
horizontal o vertical, es
adyacente a la casilla
que ocupa la misma
posición en el
cuadrado cercano.

Por ejemplo la casilla

15(01111) es
adyacente al las
casillas 13, 7, 14, 11 y
a la 31(1111)

Esto porque cambia

una sola variable entre
una casilla y otra.
Compuertas Lógicas
Las compuertas son dispositivos que operan con aquellos estados lógicos
mencionados en el punto anterior. Pueden asimilarse a una calculadora, por
un lado ingresas los datos, la compuerta realiza la operación lógica
correspondiente a su tipo, y finalmente, muestra el resultado en algún
display.

Fig.4 Aplicación de una operación lógica

Cada compuerta lógica realiza una operación aritmética o lógica diferente,

que se representa mediante un símbolo de circuito. La operación que realiza
(Operación lógica) tiene correspondencia con una determinada tabla,
llamada “Tabla de Verdad”. A continua ción vamos a analizar las diferentes
operaciones lógicas una por una comenzando por la más simple.

Compuerta negadora o NOT

Se trata de un amplificador inversor, es decir, invierte el dato de entrada y
lo saca sobre una salida de baja impedancia, que admite la carga de varias
compuertas en paralelo, o de un display de baja impedancia; por ejemplo si
se pone su entrada a 1 (nivel alto) se obtiene una salida 0 (o nivel bajo), y
viceversa. Esta compuerta dispone de una sola entrada que llamaremos A.
Su operación lógica genera una salida S igual a la entrada A invertida.

Fig.5 Compuerta NOT

La tabla de verdad nos indica que la sal ida S siempre es el estado contrario
al de la entrada A. La ecuación matemática binaria indica que la salida S es
siempre igual a la entrada negada lo que se representa con la rayita sobre la
A.

Compuerta AND ó “Y”

Una compuerta AND tiene dos entradas com o mínimo y su operación lógica
es un producto de ambas entradas. El lector no se debe confundir porque las
operaciones lógicas pueden no concordar con las aritméticas, aunque en este
caso particular coincidan. Su salida será alta si sus dos entradas están a nivel
alto.
Fig.6 Compuerta and
El nombre aclara la función. Deben estar altos A y B para que se levante S.
Una aplicación de esta compuerta puede ser un sistema de seguridad para un
balancín. Para evitar que las manos del operario estén dentro de la z ona de
presión, se colocan dos pulsadores que ponen un uno en cada entrada. Los
pulsadores están bien separados entre si. Recién cuando el operario los pulse
aparece un uno en la salida que opera el relay del motor.

Compuerta OR ó “O”
Al igual que la anterior posee dos entradas como mínimo y la operación
lógica, será una suma entre ambas. Aquí podemos ver que la operación
aritmética no coincide con la lógica ya que la ultima condición de la tabla
de verdad es 1+1=1 y en la operación ari tmética seria 1+1=2. La operación
lógica O es inclusiva; es decir que la salida es alta si una sola de las entradas
es alta o inclusive si ambas lo son. Es decir, basta que una de las entradas
sea 1 para que su salida también lo sea. Deben ser altas A “o” B o ambas al
mismo tiempo, para que la salida sea alta.

Fig.7 Compuerta “Or”

Un ejemplo de uso puede ser que se desee que un motor se opere con una
pequeña llave desde una oficina, o en forma local desde al lado del motor;
pero no se desea que el motor s e apague, si se cierran las dos llaves. La
salida debe comandar al contactor del motor y las llaves de entrada deben
conectar la tensión de fuente a las entradas.

Compuerta OR-EX ó XOR ó “O exclusiva”

En nuestro caso la OR Exclusiva tiene dos entradas (pero puede tener más)
y lo que hará con ellas será una suma lógica entre “A” por “B”invertida y
“A”invertida por “B”. Todo un lío si consideramos su fórmula pero su tabla
de verdad es muy sencilla y su descripción también, ya que la salida será
alta solo si una de las entradas lo es, pero no lo es, si lo son las dos al mismo
tiempo.
Fig.8 Compuerta XOR
Como ejemplo recurrimos al caso anterior pero donde deseamos que si la
maquina se opera en forma local no pueda operarse también en forma remota.
Estas serían básicamente las compuertas más sencillas. Pero no son todas
las que hay porque existen combinaciones de las compuertas básicas con
compuertas negadoras que vamos a ver a continuación.

Compuertas lógicas combinadas

Al agregar una compuerta NOT a la sa lida de cada una de las compuertas
anteriores los resultados de sus respectivas tablas de verdad se invierten, y
dan origen a tres nuevas compuertas: NAND, NOR y NOR -EX. Veamos
ahora sus características y cual es el símbolo que las representa.
La compuerta NAND responde a la inversión del producto lógico de sus
entradas, en su representación simbólica se reemplaza la compuerta NOT
por un círculo sobre su salida.

Fig.9 Compuerta NAND

Una compuerta NOR se obtiene conectando una NOT a la salida de una OR.
El resultado que se obtiene a la salida de esta compuerta resulta de la
inversión de la operación lógica “o inclusiva” es como un “no a y/o b”. Igual
que antes, solo se agrega un círculo a la compuerta OR y ya se obtiene el
símbolo de una NOR.

Fig.10 Compuerta NOR

La compuerta NOR-EX, es simplemente la inversión de la compuerta OR -
EX, los resultados se pueden apreciar en la tabla de verdad en donde la
columna S es la negación de la anterior. El símbolo que la representa se
obtienen agregando un circulo a la salida de una OR-EX.
Fig.11 Compuerta NOR-EX
Las compuerta “buffer” sería una compuerta negadora detrás de otra
negadora lo cual no parece tener sentido ya que la tabla de verdad seria una
repetición de la entrada en la salida. Pero sin embargo exi sten y tienen un
uso muy importante aclarado por su nombre que significa expansora o
reforzadora. Se usan para alimentar a un conjunto de compuertas conectadas
sobre su salida. El buffer en realidad no realiza ninguna operación lógica,
su finalidad es amplificar la señal (o refrescarla para decirlo de otra manera
ya que no se incrementa su amplitud sino su capacidad de hacer circular
corriente. Como puede ver en la figura 12 la señal de salida es la misma que
la de entrada.

Fig.12 Compuerta buffer

Hasta aquí llegó la teoría aunque dimos algunos ejemplos prácticos. Ahora
nos interesa más saber como se hacen evidentes estos estados lógicos y
operaciones para lograr resultados prácticos, y en qué circuitos integrados
se las puede encontrar. Pero antes debemos estudiar las distintas familias de
compuertas que existen en la actualidad.
Nombre: Willy Amílcar de León Castro
Carnet: 2790-17-7698
Catedra: Matemática Discreta
Catedrático: CARLOS HUMBERTO MOTTA MORALES

Investigacion Algebrad
De Boole

Carrera: Ingeniera en Sistemas

Segundo Semestre

Miercoles 4 de Septiembre de 2017