19 Abril 2023, 13:30 • Nuno Cruz Garcia
Representação em Python do conhecimento em lógica proposicional.