Hola! Bueno me pidieron un trabajo para la facu sobre lógica proposicional utilizando el programa Derive 6. Estuve buscando bastante por internet pero no encontré mucha información al respecto. Hasta ahora pude obtener la tabla de verdad a partir de las expresiones, pero lo que no puedo hacer es simplificar las mismas y mostrar cada paso y ley aplicada...alguien puede darme una ayuda?
. Saludos!
