Forma canónica conjuntiva

Forma canónica conjuntiva

Saltar a navegación, búsqueda

Se entiende por forma canónica conjuntiva la expresión algebraica normalizada de una función lógica obtenida como el producto de todos los Maxterms para los que la expresión algebraica ha de valer 0. También se denomina expresión en producto de sumas o expresión en Maxterms.

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

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

FCC=M1.M2.M4.M6=(a+b+c).(a+b+c).(a+b+c).(a+b+c)

Obtenido de "Forma can%C3%B3nica conjuntiva"