Buenas a todos! Les quería dejar un aporte para los que estén cursando Matematica Discreta o preparando el final que creo que les va a ayudar: estoy desarrollando un proyecto para Android de una aplicación de lógica que, en la versión actual, resuelve proposiciones lógicas y entrega tanto el valor de verdad como las tablas de verdad. Tiene hasta 4 variables para usar que es el número máximo que comunmente piden los ejercicios. También tiene un apartado de reglas de inferencia y la teoría de las operaciones. La idea es ir actualizándola con la mayor cantidad de temas posibles de la materia. Una de las cosas que me motivó a hacerla es que la bendita guía no tiene un solo resultado de nada y me volvió loco jaja.

Cualquier comentario, valoración, sugerencia, queja, informe de error es mas que bienvenido!!

https://play.google.com/store/apps/detai...ulatorLite