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.
