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, simplificarlas, pero lo que no puedo hacer es que me muestre el "paso a paso" y las leyes que se fueron aplicando...alguien puede darme una mano? . Saludos!