Lóg.

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.

Deja una respuesta

Tu dirección de correo electrónico no será publicada.

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.