Dentro del lgebra de Boole de 2 elementos, una funcin booleana o funcin lgica es una

expresin de operaciones booleanas enlazando variables que solamente pueden

adquirir los valores 0 y 1. Una funcin booleana es una aplicacin que a cada conjunto de
valores booleanos de sus variables le asigna un y slo un valor booleano.
La primera de las dos definiciones anteriores es de tipo descriptivo: describe la forma
algebraica de una funcin booleana; mientras que la segunda es de tipo conceptual:
identifica la funcin como correspondencia entre el conjunto de valores de las variables y el
valor booleano de la variable dependiente.
De acuerdo con las definiciones anteriores, las funciones lgicas pueden representarse en
dos formas diferentes:
- por su expresin algebraica o frmula booleana, como expresin de las operaciones que
ligan a sus variables;
- por su tabla operativa o tabla de verdad, expresando en forma de tabla la correspondencia
entre la variable de salida y cada combinacin posible de valores de sus variables de entrada.

El lgebra de Boole provee las operaciones y las reglas para trabajar con el conjunto {0, 1}.
Los dispositivos electrnicos pueden estudiarse utilizando este conjunto y las reglas
asociadas al lgebra de Boole. Las tres operaciones utilizadas mas comnmente son
complemento, suma booleana (OR) y producto (AND).

Una expansin de suma-producto es una suma de minitrminos. Los minitrminos en la
suma booleana corresponden a aquellas combinaciones de valores en los cuales la funcin
adquiere el valor 1.
A modo de ejemplo se puede encontrar la funcin booleana correspondiente a la tabla














Para representar F, se necesita una expresin que valga 1 en caso de que x = 0 e y = z = 1 o
bien x = y = z = 1. Dicha expresin se puede construir por medio de una suma booleana de
dos productos diferentes. Por lo tanto la funcin F quedara:
_
F(x,y,z) = x.y.z + x.y.z

Simplificacin de funciones booleanas: mapas de Karnaugh

La aplicacin de los teoremas del lgebra permite simplificar las funciones, reduciendo el
nmero de puertas necesarias para su configuracin; en concreto, los teoremas ms tiles
para la simplificacin son los de idempotencia y absorcin:

a+a = a
a+a = 1
a + a.b = a
a+a.b = a + b
a . a = a
a . a = 0
a.(a + b) = a
a.(a+b) = a.b

Existen mtodos de simplificacin que aportan una formulacin sistemtica del proceso y que
aseguran la mxima simplificacin; los ms utilizados de ellos son el mtodo grfico de los
mapas de Karnaugh:

Los mapas de Karnaugh son el mtodo habitual de simplificacin cuando se hace a mano y
el nmero de variables de la funcin es pequeo (no superior a 6).
La simplificacin de una funcin por medio de los mapas de Karnaugh se realiza dibujando su
tabla de operacin en un diagrama bidimensional segn la estructura siguiente:









Conclusin:
La prctica has sido til para mejorar nuestras habilidades con las funciones booleanas, de
forma que obtengamos las funciones reducidas a partir de una tabla de verdad y su respectivo
mapa de Karnaugh, al traducir esto en cdigo VHDL nos dimos cuenta de que este lenguaje
es muy verstil e intuitivo por lo que no represento ningn problema en la realizacin de esta
prctica.
Tambin se realiz un problema ms complejo el cual utilizaba entradas de 2 bits por 3
salidas, lo que necesito 3 funciones distintas para cada salida respectivamente, y una vez
ms las herramientas del lenguaje nos permitieron reducir el cdigo con facilidad.