[ Foro de Java ]
Hola.
Bueno, soy estudiante de ingeniería en computación y tengo que hacer un programa de proposiciones lógicas. El programa debe recibir una operación tipo así:
"(PVQ)^(~P^Q) -> (P^~Q)"
Esta debe decir si es tautología, contradicción o ninguna y porsteriormete imprimir la tabla de verdad con 0 como falso y 1 como verdadero.
(no es necesario tomar en cuenta n proposiciones simples, pueden ser solo 4, "p,q,r,s")
si pudieran ayudarme orientandome a cómo resolver este problema, por favor, se los agradecería mucho.
Puede ser en cualquier lenguaje de programación, de preferencia en Java o Python.
Con que solo me ayuden a armar la tabla de verdad, se los agradecería mucho.
(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.)