Lista de #Tautologias (atualizada a cada 3 horas) da #lógica proposicional com possibilidade de construção automática de #tabelas de verdade: https://dfaria.eu/tautologias