Se dice que una fórmula está en "forma normal conjuntiva" (FNC) si y sólo si tiene la siguiente forma: