BioDic - Diccionario Científico - Diccionario de Términos Científicos, Sencillo

forma normal

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.