ALGEBRA BOOLEANA

Algebra de Boole
George Boole, desarroll un sistema
algebraico para formalizar la lgica
proposicional. El libro se llama Anlisis
matemtico de la lgica.
El sistema consiste en un clculo
para resolver problemas de lgica
proposicional (dos valores posibles
George Boole [0, 1] y tres operaciones:
AND (y)
1815-1864
OR (o)
NOT (no) )

Algebra de Boole
Las variables Booleanas solo toman
los valores binarios: 1 0.
Una variable Booleana representa
un el balor que puede tomar un bit,
que como vimos quiere decir:
Binary digit

Operadores bsicos

Un operador booleano puede ser

completamente descripto usando
tablas de verdad.

El operador AND es conocido como

producto booleano (.) y el OR
como co-producto booleano (+)

El operador NOT ( una barra

encima de la expresin) conocido
como complemento.

Funciones booleanas

Tabla de verdad de
esta funcin:

El NOT tiene ms
precedencia que el
resto de los operadores

Y el AND ms que el OR

TEOREMAS Y
POSTULADOS
Los postulados mas comunes incluyen las siguientes
propiedades:
1. Conjunto Cerrado: Un conjunto S es cerrado con respecto a un
operador binario, si para cada par de elementos de S, el
operador binario especifica una regla para obtener un
elemento nico S. El conjunto de los nmeros naturales N = {
1, 2, 3, 4,,}, por ejemplo, es Cerrado con respecto al
operador binario (+)por las reglas de la suma aritmetica ya
que por cada a, b N se obtiene una c N nica por la
operacin a + b = c. El conjunto de los nmeros naturales No
es Cerrado con respecto al operador binario menos (-) por las
reglas de la sustraccin aritmtica ya que 2 3 = -1 y 2, 3
N mientras que (-1) N.

2.

Ley Asociativa: Se dice que un operador binario * en un

conjunto S es asociativo si:
( x * y ) * z = x * (y * z )

3.

Ley Conmutativa: Se dice que un operador binario * en un

conjunto S es conmutativo si:
x*y=y*x

4.

para toda x, y, z S.

para toda x, y S

Elemento de Identidad: Se dice que un conjunto de S tiene

elemento de identidad con respecto a la operacin binaria * en
S si existe un elemento e S con la propiedad:
e*x=x*e=x

para toda x S

Ejemplo: El elemento 0 es un elemento de identidad con respecto

a la operacin + en el conjunto de enteros I = { , -3, -2, -1, 0,
1, 2, 3, }
Ya que:
x+0=0+x=x

para toda x I

5.

Inverso: Se dice que un conjunto S, que tiene un elemento de

identidad e con respecto a un operador binario *, tiene un inverso si
para cada x S existe un elemento y S tal que:
x*y=e

Ejemplo: En el conjunto de enteros I con e = 0, el inverso del elemento

a es (-a) ya que a + (-a) = 0.
6.

Ley Distributiva: Si * y . son dos operadores binarios en un

conjunto S, se dice que * es distributivo con respecto a . si:
x * (y . z) = (x * y) . (x * z)

POSTULADO/TEOREM
A

OR (SUMA)

AND (MULTIPLIC.)

Postulado 2

(a)

x+0=x

(b) x . 1 = x

Postulado 5

(a)

x + x = 1

(b) x . x = 0

Teorema 1

(a)

x+x=x

(b) x . x = x

Teorema 2

(a)

x+1=1

(b) x . 0 = 0

Teorema 3,

(x) = x

Involucin
Postulado 3,

Conmutativo

Teorema 4,

Asociativo

Postulado 4,

Distributivo

(a) x + y = y + x
(a)

x + (y + z) = (x + y) + z

(a) x (y + z) = xy + xz
(a) (x + y) = xy
(a) x + xy = x

(b) xy = yx
(b) x (yz) = (xy) z
(b)

x + yz = (x + y) (x +
z)

(b) (xy) = x + y
(b) x (x + y) = x

EJERCICIO:
SIMPLIFICAR MEDIANTE EL ALGEBRA DE BOOLE LOS
SIGUIENTES TERMINOS
1. x + xy =
2. x(x + y)=
3. xyz + xyz + xy=
4. xy + xz + yz
5. (x + y)(x + z)(y + z)=

1. x + y
2. xy
3. xz + xy
4. xy + xz
5. (x + y)(x + z)

a) xy + xy=
b) (x + y)(x + y) =
c) xyz + xy + xyz =
d) zx + zxy =
e) (A + B) (A + B)
=
f) y(wz + wz) + xy
a) =
x
b) X
c) Y
d) z(x + y)
e) 0
f) y(x + w)

Sumas de Productos (SP)

Sea una funcin F(ABCD) que slo es 1 para los casos:
0011,1011,1110,1111

Cuando ABCD=0011, nicamente la

expresin producto ABCD es 1.
Cuando ABCD=1011, nicamente la
expresin producto ABCD es 1
y as sucesivamente resultando que

F= ABCD + ABCD + ABCD+ ABCD F es suma de productos

Productos de Sumas (PS)

Sea una funcin F(ABCD) que
slo es 0 para los casos:
0010,0100,0111,
1010,1101

La funcin F es 0 (o bien F es 1)
cuando ABCD=0010
o cuando ABCD=0100

Cuando ABCD=0010, slo la

suma A+B+C+D es 0.

o cuando ABCD=0111

Cuando ABCD=0100, slo la

suma A+B+C+D es 0,

o cuando ABCD=1101

y as sucesivamente
De Morgan

o cuando ABCD=1010

y en ningn otro caso ms.

F=ABCD+ABCD+ABCD+ABCD+ABCD

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

F es producto de sumas

Minimizacin de funciones
lgicas
Mapa
de
Karnaugh
Se usa para minimizar
el nmero
de puertas
requeridas en un circuito digital. Es
adecuado en vez de usar leyes y propiedades cuando el circuito es grande y/o la
funcin es de entre 3 a 6 variables

Un MK contiene en la misma tabla de verdad de la funcin pero dispuesta en

dos dimensiones.
4 var

3 var

5 var

Espejo

Celdas adyacentes: En direcciones

y, dependiendo del tamao del
MK, la adyacencia puede existir doblando el mapa sobre s mismo o mediante
reflexin en ejes verticales y horizontales

Emplea un cdigo Gray, que se caracteriza porque entre los cdigos

consecutivos de celdas adyacentes se diferencian en 1 bit.

Mapas de Karnaugh de 3
variables
Cdigo Gray

A
A

0
1

0
4

BC

BC

BC

BC

00

01

11

10

1
0

1
5

1
1

F = C + AB
Una celda a 1 implica a 3 variables
Dos celdas adyacentes a 1 implican a 2 variables
Cuatro celdas adyacentes a 1 implican a 1 variable
Ocho celdas adyacentes a 1 constituyen funcin de valor 1

3
7

1
1

2
6

0
0

Mapa de Karnaugh de 4
variables
Cdigo Gray
CD CD CD CD
00

01

11

10

A B 00
A B 01
A B 11
A B 10
Una celda a 1 implica a 4 variables
Dos celdas adyacentes a 1 implican a 3 variables
Cuatro celdas adyacentes a 1 implican a 2 variables
Ocho celdas adyacentes a 1 implican a 1 variable
Diecisis celdas adyacentes a 1 constituyen funcin de valor 1

Ejemplo 1.
X=ABCD+ABCD+ABCD+ABC
D+
ABCD+ABCD
Cdigo Gray 00

01

11

10

CD CD CD CD
00

01

11

A B 00

A B 01

A B 11
A B 10

10

Intentar con
reducciones
booleanas

1
1

X = ABD + ABC + CD

Ejemplo 2.
Z=BCD+BCD+CD+BCD+A
BC
CD CD CD CD
00

01

11

A B00 1
A B01 1

1
1

A B11 1

A B10 1

10

1
1
1

X = C + AB + B D

Mapa de Karnaugh de 5
variables

Una celda a 1 implica a 5 variables

Dos celdas adyacentes a 1 implican a 4 variables
Cuatro celdas adyacentes a 1 implican a 3 variables
Ocho celdas adyacentes a 1 implican a 2 variables
Diecisis celdas adyacentes a 1 implican a 1 variable

SIMPLIFICACIN POR KARNAUGH

1) Realizar agrupaciones de 1's, con sus adyacentes, lo

mayor posibles, pero siempre en cantidades potencias de 2.
2) No dejar ningn 1 sin agrupar. Puede ocurrir que un 1
pertenezca a ms de una agrupacin. No se pueden coger
agrupaciones totalmente contenidas en otras.
3) Por cada agrupacin de 1's resulta un producto de
variables. Cuanto ms 1's se agrupen, ms sencilla resultar
la expresin de esa agrupacin.
4) En cada agrupacin, cada una de las variables puede
aparecer en alguno de los siguientes casos:
a) Si siempre vale 1 -----> Se pone afirmada.
b) Si siempre vale 0 -----> Se pone negada.
c) Si cambia de valor (50% de los casos un valor y el otro
50% otro valor) -----> No se pone.
5) La expresin de la funcin booleana ser la suma
lgica de todos los productos que hayan salido (expresin
como Suma de Productos)

Compuertas
lgicas

 Unapuerta

lgica, ocompuerta
lgica, es undispositivo
electrnicoel cual es la expresin
fsica de un operador booleanoen la
lgica deconmutacin. Cada puerta
lgica consiste en una red de
dispositivos interruptores que cumple
las condiciones booleanas para el
operador particular. Son
esencialmentecircuitos de
conmutacin integrados en unchip.

 Claude

Elwood
Shannonexperimentaba conrelso
interruptores electromagnticos para
conseguir las condiciones de cada
compuerta lgica, por ejemplo, para la
funcin booleanaY(AND) colocaba
interruptores encircuito serie, ya que
con uno solo de stos que tuviera la
condicin abierto, la salida de la
compuerta Y sera = 0, mientras que
para la implementacin de una
compuertaO(OR), la conexin de los
interruptores tiene una configuracin
en circuito paralelo.

 La

tecnologamicroelectrnicaactual
permite la elevada integracin
detransistoresactuando como
conmutadores en redes lgicas
dentro de un pequeocircuito
integrado. El chip de laCPUes una
de las mximas expresiones de este
avance tecnolgico.

 Ennanotecnologase

est
desarrollando el uso de
unacompuerta lgica molecular, que
haga posible la miniaturizacinde
circuitos.

Compuertas Lgicas
Las ms simples: AND, OR, y NOT.

Se corresponden exactamente con

las funciones booleanas que vimos

Compuertas lgicas

NAND y NOR son

dos compuertas muy
importantes.
Con la identidad de
De Morgan se
pueden implementar
con AND u OR.
Son ms baratas y
ambas por s solas
son un conjunto
adecuado para la
lgica proposicional.
Es decir que
cualquier operador se
puede escribir
usando cualquiera de
ellas.

AND

 La

puerta lgicaY, ms conocida por su

nombre en inglsAND, realiza la
funcin booleana de producto lgico. Su
smbolo es un punto (), aunque se
suele omitir. As, el producto lgico de
las variables A y B se indica como AB, y
se lee A y B o simplemente A por B.
Laecuacincaracterstica que describe
el comportamiento de la puerta AND es:

Sus circuitos son los

siguiente:

Smbolo de la funcin lgica Y:

a)Contactos,
b) Normalizado
c)c) No normalizado

Tabla de verdad puerta AND

Entrada Entrada Salida

OR

 La

puerta lgicaO, ms conocida por

su nombre en inglsOR, realiza la
operacin de suma lgica.
Laecuacincaracterstica que
describe el comportamiento de la
puerta OR es:

Puerta OR con transistores

Smbolo de la funcin lgica O:

a) Contactos, b) Normalizado y c) No normalizado

Tabla de verdad puerta OR

Entrada

Entrada

Salida

NO (NOT)

 La

puerta lgicaNO(NOTen ingls)

realiza la funcinbooleanade
inversin o negacin de una variable
lgica. Una variable lgicaAa la cual
se le aplica la negacin se pronuncia
como "no A" o "A negada".
Laecuacin caracterstica que
describe el comportamiento de la
puerta NOT es:

Smbolo de la funcin lgica NO:

a) Contactos, b) Normalizado y c) No normalizada

Tabla de verdad puerta NOT

Entrada Salida

Puerta NOT con transistores

Algebra de Boole

Las variables y constantes booleanas slo pueden tener dos valores

posibles que se emplean para representar el nivel de voltaje presente
en los terminales de entrada y salida de un circuito

Nivel de voltaje bajo

Falso / Desactivado
No / interruptor abierto
cerrado
(0)

Nivel de voltaje alto

Verdadero / Activado
Si / interruptor
(1)

Representacin de un
Circuito

A = 0 (off)

B = 1 (on)

Batera
Foco

Batera
Foco

Compuertas lgicas
Adicin

o suma lgica

Llamada operacin OR.

Corresponde a la disyuncin de proposiciones en
lgica y a la unin de conjuntos.
Su smbolo es +
El dispositivo electrnico que ejecuta esta
operacin se denomina compuerta OR y su
representacin es:
or

Compuertas lgicas

Multiplicacin o producto lgico

Llamada operacin AND.

Corresponde a la conjuncin de proposiciones en lgica y a
la interseccin de conjuntos.
Su simbolo es *
El dispositivo electrnico que ejecuta esta operacin se
denomina compuerta AND y su representacin es:

and

Compuertas lgicas

Complementacin o inversin lgica

Llamada operacin NOT.

Corresponde a la negacin de una proposicin en lgica o a
la complementacin de conjuntos.
Su smbolo es el apstrofo. ( )
El dispositivo electrnico que ejecuta esta operacin es un
inversor y su
representacin es:

not

Compuertas lgicas
not

and

or

a+b

a*b