SoloCodigo

Que tal !!!!!

Al igual que david_goodface yo tambien necesito hacer un programa que compruebe tautologias mediante el Metodo de Resolución pero que previamente compruebe que las premisas introducidas sean formulas bien formadas.

Normalemente programo en Delphi   pero no importa si me pueden ayudar con algo de código en algún otro lenguaje.

De antemano muchas gracias !!!!