Para resolver estas cuestiones, se han propuesto varios criterios para decidir cuándo una expresión es una constante lógica y cuándo no.