Forma canónica conjuntiva

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.[1]

Para n variables booleanas (ej: bits), ${\displaystyle 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:

FCC=M1.M2.M4.M6=(A+B+C).(A+B+C).(A+B+C).(A+B+C)