Definición
Hay 3 métodos:
- Algebraico
- Gráfico
- Tabulación
Algebraico
Se trabaja directamente sobre la expresión algebraica. Se basa en eliminar términos y literales aplicando los postulados y los teoremas del Álgebra de Boole.
Gráfico
Usando el mapa de Karnaugh
Definición
Este método permite encontrar las expresiones mínimas en forma de Suma de minitérminos o Producto de maxitérminos. Se basa en encontrar todos los implicantes primos, y seleccionar un conjunto mínimo de implicantes que cubra la función.
Al tener todos los implicantes primos se tiene que ver cuales son los implicantes escenciales y estos son los que podemos representar como operación mínima.
Este método también nos puede ayudar con las redundancias ya que representaríamos con
Link to originallas redundancias y les asignaríamos un valor que nos sirva para reducir la cantidad de implicantes, y en el caso que no reduzca la cantidad, entonces que aumente el tamaño de un implicante.
Tabulación
Usando el algoritmo de Quine-McCluskey
Definición
Tiene las mismas propiedades que el Mapa de Karnaugh pero se puede implementar en software. Por lo tanto podemos reducir funciones donde la cantidad de variables de entrada son mayores a 5.
Este algoritmo se aprovecha de que para saber si dos implicantes son vecinos, entonces su representación en binario tiene un único valor distintio. Por lo tanto vamos construyendo de los implicantes más chicos a los más grandes, y aquellos implicantes que no se hayan usado para hacer implicantes más grandes, serán los implicantes primos.
Link to original