Quando menos é mais — O teorema da forma normal disjuntiva e suas consequências para a capacidade expressiva

Dá para dizer isso? A noção de expressividade na lógica proposicional clássica.