Simplificando a lógica, do 0 ao 1...

Tabela-Verdade

Forneça expressões lógicas e veja qual é sua tabela-verdade, sua forma proposicional e outras informações.

Linguagem Natural

Forneça frases usando a linguagem natural humana e converta-as para expressões lógicas.

Ajuda

Precisa de ajuda? Conheça um pouco da teoria por trás do assunto e entenda o que cada ferramenta faz.

Configurações

Configure algumas opções do sistema de acordo com a sua preferência ou necessidade.