Forma canónica disyuntiva

Forma canónica disyuntiva

Saltar a navegación, búsqueda

Se entiende por forma canónica disyuntiva la expresión algebraica normalizada de una función lógica obtenida como la suma de todos los minterms para los que la expresión algebraica ha de valer 1. También se denomina expresión en suma de productos o expresión en minterms.

Para n variables booleanas (ej: bits), $FCD=\sum_{i=0}^{2^n-1}{m_i}, \forall i |F(i)=1$

Por ejemplo, para la siguiente función lógica dada como tabla de verdad:

abc F(abc)

000 1

001 0

010 0

011 1

100 0

101 1

110 0

111 1

FCD=m0+m3+m5+m7=(a.b.c)+(a.b.c)+(a.b.c)+(a.b.c)

Obtenido de "Forma can%C3%B3nica disyuntiva"