Posterior: Mapas de Karnaugh Arriba: Semántica Anterior: Formalización de problemas de

Optimización de formas conjuntivas y disyuntivas

El problema de encontrar expresiones mínimas lógicamente equivalentes a una expresión dada se puede plantear como el de encontrar un recubrimiento por subcubos maximales de un subconjunto del hipercubo $\mbox{\rm Dos}^n$. Pues, según vimos en la subsección 2.1.5, cada subcubo corresponderá a una cláusula o a una frase cuya longitud es $n-k$ donde $k$ es la dimensión del subcubo.