La fórmula decidible inmediatamente dado que su valor lógico es absolutamente claro: pasar una fórmula a su equivalente en forma normal es un procedimiento decisorio del cálculo lógico.