Um #software para os alunos fazerem #exercícios de preenchimento de #tabelas de #verdade na #lógica clássica com correção automática: https://w.dfaria.eu/tabelasdeverdade