Método computacional Camp Deusto de simplificación de funciones booleanasdesarrollo e implementación

Resumen

El objetivo de la tesis es desarrollar un nuevo metodo directo y computacional, camp deusto, de simplificacion de funciones booleanas, la implementacion de este metodo conforma un entorno propio de simplificacion. El objetivo de la minimizacion de funciones booleanas es reducir la expresion algebraica que representa a un circuito digital, de tal forma que su coste de fabricacion sea minimo. Las primeras tecnicas de simplificacion implementadas en ordenadores eran originariamente manuales, pero a partir de mediados de los setenta se desarrollan tecnicas estrictamente computacionales, que tienen como nucleo el ordenador, sus recursos y limitaciones. Inicialmente se describe el estado del arte en el campo de la simplificacion de funciones booleanas. Se analizan los metodos actuales, estableciendose criterios de comparacion y clasificacion entre ellos. De este estudio se derivan cuales deberian de ser las propiedades de un metodo rapido y "casi optimo". El trabajo de investigacion, objeto de esta tesis, se orienta hacia el desarrollo de un metodo cuya rapidez y optimidad sean maximas. Operativamente, el metodo camp deusto simplifica una funcion booleana a partir de sus implicados primos. Las metodologias actuales de obtencion de implicados primos son combinatorias o algebraicas; y ambas se fundamentan en la aplicacion de una serie de reglas a los miniterminos o a la expresion booleana de la funcion a simplificar. Frente a ellas camp deusto se basa en una nueva metodologia exploratoria. Esta metodologia, desarrollada en el segundo capitulo, tiene dos fases. Primeramente se obtiene la descripcion de todos los posibles implicados primos asociados a una funcion booleana cualquiera de un determinado numero de variables, almacenando dichas descripciones en la matriz mcvk. Posteriormente, cada funcion particular es procesada frente a mcvk, explorando todos los posibles implicados primos para decidir mediante un sencillo criterio cuales l