Funcin booleana

En matemticas, una funcin booleana es una funcin cuyo dominio son las palabras conformadas por los
valores binarios 0 1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1.

Formalmente, son las funciones de la forma : Bn B, donde B = {0,1} y n un entero no negativo

correspondiente a la aridad de la funcin.

ndice
1 Modos de representacin
1.1 Algebraica
1.2 Por tabla de verdad
1.3 Numrica
1.4 Grfica
2 Mtodos de simplificacin
2.1 Algebraico
2.2 Mapa de Karnaugh
2.3 Numrico de Quine-McCluskey
3 Funciones incompletas
4 Forma cannica
4.1 Minitrmino
4.2 Maxitermino
5 Vase tambin

Modos de representacin
Existen distintas formas de representar una funcin lgica, entre las que podemos destacar las siguientes:

Algebraica
Por tabla de verdad
Numrica
Grfica

El uso de una u otra, como veremos, depender de las necesidades concretas en cada caso.

Algebraica
Se utiliza cuando se realizan operaciones algebraicas. A continuacin se ofrece un ejemplo con distintas formas
en las que se puede expresar algebraicamente una misma funcin de tres variables.

a) F = [(A + BC) + ABC] + ABC

b) F = ABC + ABC + ABC + ABC
c) F = (A + B + C)(A + B + C)(A + B + C)(A + B + C)
d) F = BC + AB
e) F = (A + B)(B + C)
f) F = [(BC)(CB) (AB)]
g) F = [(A + B) + (B + C)]

La expresin a) puede proceder de un problema lgico planteado o del paso de unas especificaciones a lenguaje
algebraico. Las formas b) y c) reciben el nombre expresiones cannicas: de suma de productos (sum-of-
products, SOP, en ingls), la b), y de productos de sumas (product-of-sums, POS, en ingls), la c); su
caracterstica principal es la aparicin de cada una de las variables (A, B y C) en cada uno de los sumandos o
productos.

Por tabla de verdad

Una tabla de verdad contiene todos los valores posibles de una funcin lgica
dependiendo del valor de sus variables. El nmero de combinaciones posibles
para una funcin de n variables vendr dado por 2n. Una funcin lgica puede
representarse algebraicamente de distintas formas como acabamos de ver, pero
slo tiene una tabla de verdad. La siguiente tabla corresponde a la funcin lgica
del punto anterior.

La forma ms cmoda para ver la equivalencia entre una tabla de verdad y una
expresin algebraica es cuando esta ltima se da en su forma cannica. As, la
funcin cannica de suma de productos (o forma cannica disyuntiva)

F = ABC + ABC + ABC + ABC

nos indica que ser 1 cuando lo sea uno de sus sumandos, lo que significa que tendr por lo tanto cuatro
combinaciones que lo sern (010 para ABC, 100 para ABC, 101 para ABC y 110 para ABC) siendo el
resto de combinaciones 0. Con la funcin cannica de producto de sumas (o forma cannica conjuntiva) se
puede razonar de forma anloga, pero en este caso observando que la funcin ser 0 cuando lo sea uno de sus
productos.

Tambin es fcil obtener la tabla de verdad a partir de la funcin simplificada, pero no as a la inversa.

Numrica
La representacin numrica es una forma simplificada de representar las expresiones cannicas. Si
consideramos el criterio de sustituir una variable sin negar por un 1 y una negada por un 0, podremos
representar el trmino, ya sea una suma o un producto, por un nmero decimal equivalente al valor binario de la
combinacin. Por ejemplo, los siguientes trminos cannicos se representarn del siguiente modo (observe que
se toma el orden de A a D como de mayor a menor peso):

ABCD = 10112 = 1110

A + B + C + D = 01002 = 410

Para representar una funcin cannica en suma de productos utilizaremos el smbolo n (sigma) y en producto
de sumas n (pi), donde n indicar el nmero de variables. As, la representacin numrica correspondiente a la
tabla de verdad del punto anterior quedar como:

F = 3(2, 4, 5, 6) = 3(0, 1, 3, 7)

Matemticamente se demuestra, que para todo trmino i de una funcin, se cumple la siguiente ecuacin:

F = [n(i)]' = n(2n-1-i )

A modo de ejemplo se puede utilizar esta igualdad para obtener el producto de sumas a partir de la suma de
productos del ejemplo anterior:

F = 3(2, 4, 5, 6) = [3(2, 4, 5, 6)]' ' = [3(0, 1, 3, 7)]' = 3(0, 1, 3, 7)

Grfica
La representacin grfica es la que se utiliza en circuitos y esquemas electrnicos. En la siguiente figura se
representan grficamente dos funciones algebraicas, una con smbolos no normalizados, superior, y la otra con
normalizados, inferior (vanse los smbolos de las puertas lgicas)

Representacin grfica de dos funciones lgicas

Mtodos de simplificacin
Por simplificacin de una funcin lgica se entiende la obtencin de su mnima expresin. A la hora de
implementar fsicamente una funcin lgica se suele simplificar para reducir as la complejidad del circuito.

A continuacin se indican los modos ms usuales de simplificar una funcin lgica.

Algebraico
Para la simplificacin por este mtodo no slo bastar con conocer todas las propiedades y teoremas del lgebra
de Boole, adems se debe desarrollar una cierta habilidad lgico-matemtica que se adquiere fundamentalmente
con la experiencia.

Como ejemplo se simplificar la siguiente funcin:

F = AC + ABC + BC + ABC + ABC

Observando cada uno de los sumando podemos ver que hay factores comunes en los sumandos 2 con 5 y 4
con 5 que conllevan simplificacin:

F = AC + BC + BC(A + A) + AC(B + B)

Note que el trmino 5 se ha tomado dos veces, de acuerdo con la propiedad que dice que A + A = A.
Aplicando las propiedades del lgebra de Boole (A + A' = 1 y A . 1 = A), queda

F = AC + BC + BC + AC
Repitiendo nuevamente el proceso,

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

No siempre las funciones son tan fciles de simplificar como la anterior. El mtodo algebraico, por lo general,
no resulta cmodo para los no expertos, a los cuales, una vez simplificada una ecuacin le pueden quedar serias
dudas de haber conseguido la mxima simplificacin.

Mapa de Karnaugh

Este mtodo consiste en formar diagramas de 2n cuadros, siendo n el nmero de variables. Cada cuadro
representa una de las diferentes combinaciones posibles y se disponen de tal forma que se puede pasar de un
cuadro a otro en las direcciones horizontal o vertical, cambiando nicamente una variable, ya sea en forma
negada o directa.

Este mtodo se emplea fundamentalmente para simplificar funciones de hasta cuatro variables. Para un nmero
superior utilizan otros mtodos como el numrico. A continuacin pueden observarse los diagramas, tambin
llamados mapas de Karnaugh, para dos, tres y cuatro variables.

Mapas de Karnaugh para dos, tres y cuatro variables

Es una prctica comn numerar cada celda con el nmero decimal correspondiente al trmino cannico que
albergue, para facilitar el trabajo a la hora de plasmar una funcin cannica.

Para simplificar una funcin lgica por el mtodo de Karnaugh se seguirn los siguientes pasos:

1) Se dibuja el diagrama correspondiente al nmero de variables de la funcin a simplificar.

2) Se coloca un 1 en los cuadros correspondientes a los trminos cannicos que forman parte de la funcin.

3) Se agrupan mediante lazos los unos de casillas adyacentes siguiendo estrictamente las siguientes reglas:

a) Dos casillas son adyacentes cuando se diferencian nicamente en el estado de una sola variable.

b) Cada lazo debe contener el mayor nmero de unos posible, siempre que dicho nmero sea potencia de
dos (1, 2, 4, etc.)

c) Los lazos pueden quedar superpuestos y no importa que haya cuadrculas que pertenezcan a dos o ms
lazos diferentes.

d) Se debe tratar de conseguir el menor nmero de lazos con el mayor nmero de unos posible.

4) La funcin simplificada tendr tantos trminos como lazos posea el diagrama. Cada trmino se obtiene
eliminando la o las variables que cambien de estado en el mismo lazo.
A modo de ejemplo se realizan dos simplificaciones de una misma funcin a partir de sus dos formas
cannicas:

F = 3(0,2,3,4,7) = 3(1,2,6)

De acuerdo con los pasos vistos anteriormente, el diagrama de cada funcin quedar del siguiente modo:

Simplificacin de una funcin de tres variables

La funcin simplificada tendr tres sumandos en un caso y dos productos en el otro. Si nos fijamos en el mapa
correspondiente a la suma de productos, observamos que en el lazo 1 cambia la variable A (en la celda 0 es
negada y en la 4 directa), en el lazo 2 es la C y en el lazo 3 vuelve a ser A. por lo tanto, la ecuacin simplificada
es:

F = BC + AB + BC

Razonando de modo similar en el mapa de productos de sumas, nos quedar lo siguiente:

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

Numrico de Quine-McCluskey
El algoritmo Quine-McCluskey permite la simplificacin de funciones lgicas de cualquier nmero de
variables y es el que se utiliza para disear aplicaciones informticas en las que se necesite obtener funciones
simplificadas.

A continuacin se indican los pasos a seguir en este mtodo a partir de un ejemplo.

1) Se expresa la funcin a simplificar en su forma cannica de suma de productos.

Sea la siguiente funcin a simplificar:

F = S4 (0,1,2,3,5,9,11,12,13,15)

2) Se forma una tabla con el valor decimal de la combinacin, el estado de las variables y el ndice (nmero de
unos que contiene el estado de las variables).

Comb. Estado ndice

0 0000 0
1 0001 1
2 0010 1
3 0011 2
 5 0101 2
9 1001 2
11 1011 3
12 1100 2
13 1101 3
15 1111 4

3) Se agrupan las combinaciones cuyos estados difieren en una sola variable, sustituyndola por un guion bajo
(_). Las combinaciones utilizadas se marcan con un aspa (X). Hay que fijarse en las combinaciones cuya
diferencia entre sus respectivos ndices es la unidad.

Agrupacin de las combinaciones

4) Se repite el proceso anterior las veces que sean necesarias y se van eliminando estados idnticos.

Nueva agrupacin de las combinaciones

5) Se forma una tabla con las combinaciones finales y las no agrupadas. Se toman como filas las
combinaciones finales y las no agrupadas y como columnas los valores decimales de dichas combinaciones.
Cada celda que contenga el valor decimal de una combinacin se marca con un aspa. A continuacin nos
fijamos en aquellas columnas con una sola aspa; sus combinaciones sern esenciales. Finalmente se toman
aquellas combinaciones de los valores decimales no seleccionados, teniendo precaucin de no tomar aquellas
combinaciones cuyos valores decimales hayan sido ya tomados en otras combinaciones. La funcin
simplificada final viene dada por las combinaciones esenciales y estas ltimas.
Funciones incompletas
Hasta ahora todas las funciones estudiadas tienen definido un valor lgico, 0 1, para cada una de las posibles
combinaciones. Estas funciones se denominan completas o totalmente definidas. Tambin existen funciones
con una o varias combinaciones no definidas, llamadas funciones incompletas. Esta situacin puede deberse
por las dos causas siguientes:

1. Hay combinaciones de entrada que no existen, por lo que a la salida se le puede asignar indistintamente
el valor 0 o el 1.
2. En ciertas combinaciones de entrada la salida del sistema lgico est inhibida, siendo por lo tanto su
valor indiferente.

En la tabla de verdad de una funcin incompleta, los trminos indiferentes se designan mediante una equis (X).
En cuanto a la forma cannica se separan los trminos definidos de los que no lo son (indicados mediante el
smbolo ).

A la hora de simplificar una funcin incompleta, los trminos indiferentes servirn como comodines a la hora
de tomar lo lazos, esto es, si nos interesa que sea un 1 porque as el lazo es mayor, lo tomaremos como 1, y en
caso contrario como 0.

Forma cannica
Una Funcin lgica, que est compuesta por operador lgico, puede ser expresada en forma cannica usando
los conceptos de minitrmino y maxitrmino. Todas las funciones lgicas son expresables en forma cannica,
tanto como una suma de minitrmino como producto de maxitrmino. Esto permite un mejor anlisis para la
simplificacin de dichas funciones.

Minitrmino
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 minitrmino. Es decir, un minitrmino 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 minitrminos para una funcin
booleana con las tres variables a, b y c.

Maxitermino
Un maxitrmino es una expresin lgica de n smbolos que consiste nicamente en la disyuncin lgica y el
operador complemento o negacin. Los cuales estn unidos por los operadores del lgebra de boole (+ . ) Por
ejemplo, los siguientes trminos cannicos son maxitrminos:

1. a + b' + c
2. a' + b + c

Vase tambin
Lgica binaria
lgebra de Boole
Formas cannicas (lgebra de Boole)
Tabla de verdad
Sistema digital
Circuito de conmutacin
Puerta lgica
Operador a nivel de bits
Obtenido de https://es.wikipedia.org/w/index.php?title=Funcin_booleana&oldid=101666101

Se edit esta pgina por ltima vez el 5 sep 2017 a las 22:47.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.