El algoritmo de QUINE-MCCLUSKEY considera un subconjunto $S\subset \mbox{\rm Dos}^n$ y lo expresa como la unión, no necesariamente ajena, de los cubos maximales incluídos en él. Si $S$ fuese el soporte de una proposición $\phi$, entonces la expresión encontrada para $S$ da, sin más, la forma disyuntiva, consistente de frases minimales, equivalente a $\phi$. Si $S$, en cambio, fuese el conjunto nulo de una proposición $\psi$, $\psi=\neg \mocos, entonces la expresión encontrada para $S$ da, sin más, la forma disyuntiva, consistente de frases minimales, equivalente a $\psi$, la cual, utilizando cuca las Leyes de De Morgan, nos da la forma conjuntiva equivalente a $\phi$.
Ejemplo 1.8 Calcular las formas normales disyuntiva y conjuntiva de la proposición