[ Foro de Java ]
Necesito hacer un programa en java el cual al ingresar una proposición lógica (mas o menos asi "(P v Q) ? (~P ? Q)") determine si es tautología, contradicción o contingencia, posterior a esto se debe generar una tabla de verdad. alguien me podría ayudar por favor, guiándome u orientándome.
(No se puede continuar esta discusión porque tiene más de dos meses de antigüedad. Si tienes dudas parecidas, abre un nuevo hilo.)