hola. bueno lo que planteas es largo de hacer. Yo lo hice en el año 95 mas o menos. En la universidad de alicante nos lo pusieron como practica de logica. Habia que hacer 3 cosas.
introducias una formula y
1º - decir si la formula era correcta.
2º - pasarlo a forma normal conjuntiva y normal disyuntiva
3º - y decir si era cierto, falso o indeterminacion .
tarde 1 mes en hacerlo. use prolog, e implemente el algoritmo con listas. no utilizé arboles. la parte mas complicada fue la tercera. Para resolverlo planteate todas las posibles causas que hacen que una formula sea cierto, las que sean falso, y las que sean indeterminacio. haz las dos mas faciles, y la mas dificil o larga, dejala y la resuelves por eliminacion ( si algo no es cierto ni falso, entonces debe ser indeterminacion ,, por ej ).
yo use ese metodo . Voy a ver si tengo algo en un disquete y te amplio un poco mas la informacion. Ufff, hace de eso un chorro de años.
__________________
frenadol
|