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