Programación Específica > Programación Lógica

 Tautologias

(1/1)

astro97:
Espero que alguien sea tan amable en proporcionarme el programa para considerar tautologias, gracias por la atencion

Mollense:
Ante todo me veo en la obligación de informarte que acá no se hacen tareas...

...continuando, creo que lo más lógico sería formular un algoritmo para llevar tu fórmula a la "forma normal conjuntiva" y luego evaluarla para saber si se trata de una tautología. Pienso que aunque complicado sería muy eficiente si tu fórmula contiene muchos átomos, de lo contrario, tal vez te convenga formar la tabla de verdad (sería mucho mas fácil ) y evaluar que cada interpretación sea verdadera determinando así si se trata de una tautología, negación o contingencia.

Un saludo.

astro97:
alguien del foro ofrecio tal programa, por eso mi inquietud y la necesidad que tengo del programa me permiti pedirlo pero si existe una contrariedad mil disculpas, no pense que se fuera a tomar de tal manera :(

Navegación

[0] Índice de Mensajes