Hola necesito saber como desarrollar un algoritmo que reciba una formula proposicional (por ej (p->q)) y que a partir de ella diga si se trata de una tautologia , contradiccion y contingencia...
Lo que yo habia echo era ingresar la formula y almacenarla en un array.. pero ya no se como seguir la otra parte
