FUNCIONES DE ALGEBRAS BOOLEANAS

Definicin

Sea B
n
y sean sus elementos X
1
, X
2,
..., X
n
variables booleanas, es decir, variables que
pueden tomar el valor 0(falso) 1(verdadero), estas variables representan
proposiciones; entonces la expresin f(X
1
, X
2,
..., X
n
) representa un enunciado compuesto
construido a partir de los X
k
.
Las tablas que enumeran los valores de una funcin f para todos los elementos de B
n
,
como se muestra en la Figura (a) son llamadas con frecuencia tablas de verdad. Estas
tablas muestran la forma en que la verdad o falsedad de f(X
1
, X
2,
..., X
n
) depende de los
valores 0 1 que tomen los enunciados X
k.














Estas funciones son importantes en el sentido que pueden ser utilizadas para representar
los requisitos de salida de circuitos para posibles valores de entrada como se muestra en
la Figura (b). Estos circuitos estn representados por bloques lgicos denominados
puertas o compuertas lgicas, estas puertas en general representan bloques funcionales
que reciben un conjunto de entradas y producen una salida; existen ocho compuertas
lgicas bsicas con las cuales se pueden formar sistemas muy complejos. As, cada X
i

representa un circuito de entrada capaz de transportar dos voltajes indicadores (un
voltaje para 0 y un voltaje distinto para 1). La funcin f representa la repuesta de salida
deseada. Los requisitos de salida ocurren en la tapa de diseo de los circuitos
computacionales combinatorios y secuenciales,

X
1
X
2
X
3
f(X
1
, X
2
, X
3
)
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
X
1
X
2
.
.
.
X
n


f



f(X
1
, X
2,
..., X
n
)


(b)
(a)

Se puede observar con cuidado que la especificacin de una funcin f: B
n
B slo
enumera los requisitos de salida del circuito. No indica como cumplir esos requisitos.
Una forma importante de producir funciones de B
n
a B es mediante el uso de polinomios
booleanos, los cuales son mencionados a continuacin.
Los polinomios booleano bsicos X Y, X Y, X se representan de manera
esquemtica en la siguiente figura respectivamente:







POLINOMIOS BOOLEANOS:

Son tambin llamados expresiones booleanas.
Sean X
1
, X
2,
..., X
n
un conjunto de n smbolos o variables. Un polinomio booleano p(X
1
,
X
2,
..., X
n
) en las variables X
k
se define

de manera recursiva como sigue:

1. X
1
, X
2,
..., X
n
son todos polinomios booleanos.
2. Los smbolos 0 y 1 son polinomios booleanos.
3. Si p(X
1
, X
2,
..., X
n
) y q(X
1
, X
2,
..., X
n
) son dos polinomios booleanos, entonces
tambin lo son
p(X
1
, X
2,
..., X
n
) q(X
1
, X
2,
..., X
n
)
y
p(X
1
, X
2,
..., X
n
) q(X
1
, X
2,
..., X
n
)
4. Si p(X
1
, X
2,
..., X
n
) es un polinomio booleano, entonces tambin lo es
(p(X
1
, X
2,
..., X
n
))
Por tradicin, (0) se denota por 0, (1) se denota 1 y (X
k
) se denota X
k
.
5. No existen polinomios booleanos en las variables X
k
distintos de los que pueden
ser obtenidos aplicando las reglas 1, 2, 3 y 4.

Ejemplo
Los siguientes son polinomios booleanos en las variables x, y, z.
p
1
(x, y, z)= (x y)
p
2
(x, y, z)= (x y) (y )
Estos polinomios estn sujetos a las reglas de la aritmtica booleana; es decir, a
las reglas que obedecen en las algebras booleanas. Como es el caso de los
polinomios comunes del algebra, dos polinomios booleanos son equivalentes si es
posible transformar uno en el otro con manipulaciones booleanas.





X
Y

X


X
Y

X Y
X Y X

Funciones booleanas como polinomios booleanos

Se consideraron funciones de B
n
a B, donde B es el algebra booleana {0,1}. Se
observo que tales funciones pueden representar requisitos de entrada / salida para
modelo de mucho circuitos computacionales prcticos. Tambin se seal que si la
funcin esta dada por cierta expresin booleana, entonces puede construirse un
diagrama lgico para l y por lo tanto modelar la implantacin de la funcin. En esta
seccin se muestra que todas las funciones de B
n
en B estn dadas por expresiones
booleanas, por lo que es posible construir los diagramas lgicos para cualquier funcin
de este tipo.
Teorema 1
Sean f, f1 y f2 tres funciones de B
n
en B
a) Si S(f)=S(f1) S(f2), entonces f(b)=f1(b) f2(b) para toda b en B
b) Si S(f)=S(f1) S(f2), entonces f(b)=f1(b) f2(b) para toda b en B
Ejemplo 1
Sea f1: B
2
B producida por la expresin E(x,y)=x, sea f2: B
2
B producida por la
expresin E(x,y)=y. Entonces, las tablas de verdad de f1 y f2 aparecen en la figura (a) y
(b), respectivamente. Sea f: B
2
B la funcin cuya tabla de verdad aparece en la figura
(c). es claro S(f)=S(f1) S(f2), pues f1 es igual a 1 en los elementos (0,0) y (0,1) de B
2,
f2 es 1 en los elementos (0,0) y (1,0) de B
2
y f es uno en los elementos (0,0) , (0,1) y
(1,0) de B
2
. Por el teorema=f
1
v f
2
, de modo que una expresin booleana que produce f
es x

v y. Esto se verifica fcilmente.







No es difcil mostrar que cualquier funcin

f: B
n
B para lo cual S(f) tiene
precisamente un elemento es producido por una expresin booleana. En la siguiente
X Y
f
1
(x,y)
0 0 1
0 1 1
1 0 0
1 1 0
X Y
f
2
(x,y)
0 0 1
0 1 0
1 0 1
1 1 0
X Y
f
1
(x,y)
0 0 1
0 1 1
1 0 1
1 1 0
(a)
(b)
(c)
tabla muestra la correspondencia entre las funciones de dos variables que son iguales a 1
justo en un elemento y las expresiones booleanas que producen estas funciones.



S(f) EXPRESIONES
QUE
PRODUCE f
{(0,0)} x y
{(0,1)} x y
{(1,0)} x y
{(1,1)} x y

Ejemplo 2
Sea f1: B
2
B la funcin cuya tabla de verdad aparece en la fig. (a) .
Esta funcin solo es igual a 1 en el elemento (0,1) de B
2
; es decir , S(f)={(0,1)}. Asi ,
f(x,y)=1 solo cuando x=0 y y=1. Esto tambin es cierto para la expresin E(x,y)= x
y , de modo que f es producida por esta expresin.
X Y f(x,y)
0 0 0
0 1 1
1 0 0
1 1 0
(a)
La funcin f: B
3
B cuya tabla de verdad aparece en la fig. (b) tiene S(f)={(0,1,1)}; es
decir, f es igual a 1 solo cuando x=0, y=1 y z=1. Esto tambin es cierto para la
expresin booleana
x y z, que por lo tanto debe producir a f.

x y z f(x,y,z)
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
(b)

MAPAS DE KARNAUGH
Los Mapas de Karnaugh son una herramienta muy utilizada para la simplificacin de
circuitos
lgicos. Cuando se tiene una funcin lgica con su tabla de verdad y se desea
implementar esa
funcin de la manera ms econmica posible se utiliza este mtodo.
Ejemplo: Se tiene la siguiente tabla de verdad para tres variables.
Se desarrolla la funcin lgica basada en ella. (primera forma cannica). Ver que en la
frmula se incluyen solamente las variables (A, B, C) cuando F cuando es igual a "1".
Si A en la tabla de
verdad es "0" se pone A, si B = "1" se pone B, Si C = "0" se pone C, etc.







F = A B C + A B C + A B C + A B C + A B C + A B C
Una vez obtenida la funcin lgica, se implementa el mapa de Karnaugh.
Este mapa tiene 8 casillas que corresponden a 2n, donde n = 3 (nmero de variables (A,
B, C))




La primera fila corresponde a A = 0
La segunda fila corresponde a A = 1
La primera columna corresponde a BC = 00 (B=0 y C=0)
La segunda columna corresponde a BC = 01 (B=0 y C=1)
La tercera columna corresponde a BC = 11 (B=1 y C=1)
La cuarta columna corresponde a BC = 10 (B=1 y C=0)
En el mapa de Karnaugh se han puesto "1" en las casillas que corresponden a los valores
de
F = "1" en la tabla de verdad. Tomar en cuenta la numeracin de las filas de la tabla de
verdad y la numeracin de las casillas en el mapa de Karnaugh
Para proceder con la simplificacin, se crean grupos de "1"s que tengan 1, 2, 4, 8, 16,
etc. (slo potencias de 2) . Los "1"s deben estar adyacentes (no en diagonal) y mientras
ms "1"s tenga el grupo, mejor.
La funcin mejor simplificada es aquella que tiene el menor nmero de grupos con el
mayor
Nmero de "1"s en cada grupo
Se ve del grfico que hay dos grupos cada uno de cuatro "1"s, (se permite compartir
casillas ntrelos grupos).





La nueva expresin de la funcin booleana simplificada se deduce del mapa de
Karnaugh.
- Para el primer grupo (cuadro): la simplificacin da B (los "1"s de la tercera y cuarta
columna)
corresponden a B sin negar)
- Para el segundo grupo (horizontal): la simplificacin da A (los "1"s estn en la fila
inferior que
corresponde a A sin negar)
Entonces el resultado es F = B + A F = A + B.
EJEMPLO
Sea f: B
2
B la funcin cuya tabla de verdad aparece en la fig. (a) .En la figura (b) se
ha ordenado los valores de f en los cuadrados adecuados, y se conservan las filas y las
columnas. El arreglo resultante de 2x2 de 0 y 1 es el mapa de Karnaugh de f. Como
S(f)= {(0,0),(0,1)}, la expresin correspondiente para la funcin es (x y) v
(x y)= x (y v y)
1 1
y y

x y f(x,y)
0 0 1
0 1 1
1 0 0
1 1 0

Ejemplo. - La figura muestra el mapa de karnaugh en una funcin f: B
4
B. El
cuadrado central 2x2 representa la expresin booleana w y. Las cuatro esquinas
forman tambin un cuadrado de lado 2, pues las orillas derecha e izquierda, por un lado,
y superior e inferior por el otro, son considerados adyacentes. Desde un punto de vista
geomtrico, se puede ver que si se enrolla el rectngulo en forma horizontal (obteniendo
un cilindro) y luego, en forma vertical, se obtiene un tubo interior. En este tubo interior,
las cuatro esquinas forman un cuadrado de lado 2 el cual representa la expresin
booleana w y.
Esto implica que la descomposicin anterior conduce la expresin booleana:
( w y ) v (w y )
z z

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



Ejemplo.- En la figura aparece el mapa de karnaugh de una funcin f: B
4
B. La
descomposicin de valores uno en rectngulos de lados

que se muestra en la figura

utiliza de nuevo la propiedad de
enrollamiento de las filas superior e
inferior. La expresin resultante es:
(Z y) v (x

z) v ( x y z w )

0 0
1 1 1 1
X
1

X
1

Tabla de verdad de f
Mapa De Karnaugh De F

Y
1
1
1
y
1
X
X
w
w
Z Z




0
0 0
0
0
0
1 0
1 1 0 0 Y
y
X
w
w
X
1


X
X