lgebra booleana.

Utiliza el sistema binario {0,1}

Otros sistemas de numeracin diferentes al decimal son:

-Hexadecimalusado en computacin.
-Mayabase 20.
-Babilnicobase 60, se usa para medir el tiempo.

Operaciones aritmticas base 2.

Al igual que en base 10, se pueden realizar sumas, restas y multiplicaciones.

Suma:
0+1=1
1+1=10
10+1=11
11+1=100
.
.
.

Resta:
11=0
1001=1
1101=10
100001=11
.
.
.

Multiplicacin
10=0
11=1

e.g.

-Suma: Resta: Multiplicacin:

101101 101101 1011
+100 111 100 111 x 101

(AUTOESTUDIO) Investigar cmo se hace la divisin.

Lgica binaria.
Las compuertas basicas son:

Nota: no es lo mismo la suma de 1+1=10 a la operacin lgica 1+1=1.

Las tablas de verdad de cada operador binario estan dadas por:

Algunas propiedades del lgebra booleana.

i) Cerrado con respecto a + y

Esto es, si definimos el set S {0,1}
si tenemos x, y S entonces

x+ y=z S El set es cerrado

xy=z S

ii) Elemento identidad

Con respecto al +:
Con respecto al :

iii) Conmutativo

+ : x+ y= y + x
: xy= yx

iv) Distributivo

sobre + : x( y + x )= ?
+ sobre : x+( yz )= ?
v) Complemento
Para cada nmero x S hay un elemento x' S tal que:

x+x'=1
xx'=0

vi) Al menos existen 2 elementos x, y S tal que xy

Los operadores +, y ' estn determinados por tablas de verdad.

x y x+y x y xy x x'
0 0 0 0 0 0 0 1
0 1 1 0 1 0 1 0
1 0 1 1 0 0
1 1 1 1 1 1

Las propiedades i, ii, iii son fcilmente comprobables.

Para iv) hay que formar la tabla de verdad para x, y, z.
a)

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

0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

b)

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

0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

Las propiedades v y vi son fcilmente verificables.

Resumiendo los postulados y teoremas son :

Postulados

2: a) x+ 0=x b) x1=x
5: a) x+ x ' =1 b) xx ' =0
Conmutativo 3: a) x+ y= y +x b) xy= yx
Distributivo 4: a) x ( y +z)=xy + xz b) x+ yz=(x + y )(x+ z)

Teoremas

1: a) x+ x =x b) xx=x
2: a) x+ 1=1 b) x0=0
Involucin 3: ( x ' )' =x
Asociativo 4: a) x+( y + z)=( x + y )+ z b) x ( yz)=( xy )z
De Morgan 5: a) ( x+ y) ' =x ' y ' b) ( xy) '=x '+ y '
Absorcin 6: a) x+ xy =x b) x ( x+ y )=x

Vamos a demostrar los teoremas usando los postulados.

T 1a) x+ x =x

de 2 b x + x=(x + x)1
de 5 a =(x+ x )( x+ x ' )
4b =x+ xx '
5b =x+ 0
2a =x

T 1b) xx=x

Teorema 2a) x+ 1=1

ejercicio. Comprobar los otros teoremas.

Prioridad de los operadores:

1.- Parntesis
2.- NOT
3.- AND
4.- OR
Funciones booleanas.
Es una expresin formada por variables binarias, or, and, not, parntesis e igual.

e.g.

F1= xyz '

F2 =x+ y ' z
F3 =x ' y ' z+ x ' yz + xy '
F 4=xy ' + x ' z

Ejercicio. Desarrollar las tablas de verdad de las funciones anteriores.

Ejercicio. Dibujar las funciones anteriores usando compuertas.

Literal
Se llama literal a una variable, negada o no, que aparece en una funcin.
En las funciones booleanas se busca tener el menor nmero de literales para su implementacin.

e.g. simplifique las siguientes funciones.

a . x ' y ' z + x ' yz+ xy ' x ' z+ xy '

b. xy + x ' z + yz =?
= ?
= ?
=xy + x ' z

Complemento de una funcin.

Se obtiene de cambiar ANDOR, xx' y 01.

e.g.

F1= A +B+ B
F1 ' =A ' B ' C ' Funcin complemento

F2 =ABC
F2 ' =A ' + B' +C '

F3 =x ' yz ' + x ' y ' z

F3 ' =(x + y '+ z)( x + y + z ')

F 4=x ( y ' z '+ yz)

F 4 ' =x ' +( y+ z )( y '+ z ')

Forma cannica.
En las funciones, una variable binaria aparece como x o x'. Ahora, si tenemos 2 variables, x, y
y las combinamos con un AND, tal que el resultado sea verdadero, tendremos 4 combinaciones que se
denominan minterminos o producto estndar.

x y mintrmino
0 0
0 1
1 0
1 1

O si las combinamos con un OR tal que el resultado sea cero, tenemos los maxterminos o sumas
estndar.

x y maxtrmino
0 0
0 1
1 0
1 1
Esto se puede generalizar para n>2 variables, por ejemplo para 3 variables tendremos 8 minterminos y
8 maxterminos.

Toda funcin booleana se puede expresar como la suma de minterminos o el producto de maxterminos,
generando una funcin cannica.

e.g. generar la funcin cannica para la siguiente tabla de verdad.

x y z F1 F1= x ' y ' z+ xy ' z ' + xyz

0 0 0 0
F1=m1 +m4 + m7
0 0 1 1
0 1 0 0 El complemento de F 1
0 1 1 0 F1 ' =x ' y ' z '+ x ' yz '+ x ' yz+ xy ' z + xyz '
1 0 0 1 F1=(x + y + z)( x + y ' + z )( x+ y ' + z ' )(x ' + y + z ' )(x '+ y ' + z)
1 0 1 0 F1= M 0M 2M 3M 5M 6
1 1 0 0
1 1 1 1

Forma estndar de las funciones booleanas.

Como la forma cannica rara vez es la ms sencilla, queremos poder expresar una funcin como suma
de productos o productos de sumas.

e.g. suma de productos.

F1= y '+ xy+ x ' yz '

e.g. producto de sumas.

F2 =x( y '+ z )( x ' + y +z ' +w)

e.g. de forma no estndar.

F3 =(xy + zw)(x ' y ' + z ' w ' )
Operaciones lgicas bsicas y complementarias

XOR: genera xy'+x'y

XNOR: genera x'y'+xy

Ejercicios.
Minimizacin de funciones booleanas.

Mapas de Karnaugh.
Representacin grfica de la tabla de verdad, cada bloque representa un mintermino.

Ejemplo. Considere la siguiente tabla de verdad.

x y f
0 0 0
0 1 1
1 0 1
1 1 1
El mapa queda:
x y x y
0 1 0 1
0 0 1 0 x'y' x'y
1 1 1 1 xy' xy

Buscamos crear grupos de 1's. As el conjunto horizontal de 1s nos representa la x y el vertical la y, por
lo que la funcin est dada por la suma de ambos, i.e.

f =x+ y
Mapa de 3 variables.

Requiere de 8 cuadrados para representar todas las relaciones.

e.g.

Ntese que hay 4 cuadrados en los que cada variable es igual a 1.

Dos cuadros adyacentes difieren en una sola variable.

e.g. 1

x y z f x yz
0 0 0 0 00 01 11 10
0 0 1 0 0 0 0 1 1
0 1 0 1 1 1 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1 xy'no incluye la variable que cambia de valor
1 1 0 0
1 1 1 0 f =xy ' + x ' y

e.g. 2

x y z t Los bordes se consideran adyacentes.

0 0 0 0
0 0 1 0 x yz
00 01 11 10
0 1 0 0 0 0 0 1 0
0 1 1 1 1 1 0 1 1
1 0 0 1
1 0 1 0
1 1 0 1 Hay que agrupar pares de 1 adyacentes.
1 1 1 0
f = yz + xz '

e.g. 3

x y z t x yz
0 0 0 1 00 01 11 10
0 0 1 0 0 1 0 0 1
0 1 0 1 1 1 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1 Agrupar 2^n cuadros adyacentes.
1 1 0 1
1 1 1 0 f =z ' + xy '

1 cuadro Representa un mintermino (3 literales).

2 cuadros Representa un trmino de 2 literales.
3 '' Representa un trmino de 1 literal.
8 '' todo el mapa.

Problema. Simplificar F=A ' C+ A ' B+ AB' C + BC usando un mapa.

Mapas de 4 variables.

Ahora tenemos 16 cuadrados.

1 cuadrado representa un mintermino (4 literales).

2 cuadros adyacentes trmino con 3 literales.
4 cuadros adyacentes trmino con 2 literales.
8 cuadros adyacentes trmino con 1 literal.
16 cuadros adyacentes todo el mapa.

Se considera que los cuadros de los extremos izquierda-derecha y superior-inferior son adyacentes.

e.g. Encontrar F(w,x,y,z).

wx yz
00 01 11 10
00 1 1 0 1
01 1 1 0 1
11 1 1 0 1
10 1 1 0 0

e.g. Simplificar F=A ' B ' C ' +B ' CD '+ A ' BCD '+ AB ' C '

AB CD
00 01 11 10
00 1 1 0 1
01 0 0 0 1
11 0 0 0 0
10 1 1 0 1

Condiciones no importa.
Aplica para funciones que no estn totalmente definidas.

e.g.

w x y z F
wx yz
0 0 0 0 x 00 01 11 10
0 0 0 1 1 00 x 1 1 x
0 0 1 0 x 01 0 x 1 0
0 0 1 1 1 11 0 0 1 0
0 1 0 0 0 10 0 0 1 0
0 1 0 1 x
0 1 1 0 0
0 1 1 1 1 La funcin resultante es:
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 1
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 1
Mapas de 5 variables.
Para mas de 4 variables lla simplificacion via mapas de Karnaugh se complica, ya que se tendrian que
hacer mapas sobrepuestos.
Por ejemplo,

A=0 A=1

BC DE BC DE

0 1 2 3 16 17 18 19
4 5 6 7 20 21 22 23
8 9 10 11 24 25 26 27
12 13 14 15 28 29 30 15

Se considera que los mapas estn sobrepuestos y que son adyacentes, as 4 sera adyacente con 20 y 10
con 26, etc.

e.g.

A=0 A=1

BC DE BC DE

1 0 0 0 0 0 0 0
1 0 0 1 0 1 1 0
0 1 0 0 0 1 1 0
0 1 0 0 0 1 0 0

F=
Equivalencias en NAND y NOR

Como las compuertas NAND y NOR son ms fciles de construir, conviene convertir la funcin a este
tipo de lgica.

Equivalencias NAND.
Un AND se puede implementar con un NAND y un NOT

y el OR con un NAND y NOTs

Nota: Se requiere que la funcin este dada como suma de productos.

Equivalencias NOR.
De manera anloga se puede hacer con NOR para funciones que sean productos de sumas.

El OR se puede construir con un NOR y un NOT

y el AND con NOR y NOTs