Sobre a Logic Calculator

O que é isto?

Esta é uma calculadora de lógica que suporta lógica proposicional e lógica booleana. Ajuda estudantes e profissionais a trabalhar com expressões lógicas fornecendo ferramentas de análise, visualização e cálculo.

Recursos

• Decodificar e visualizar expressões de lógica proposicional
• Suporte para negação, implicação, conjunção, disjunção e bicondicionais
• Verificar se as expressões são satisfatíveis e válidas
• Criar tabelas verdade abrangentes
• Gerar árvores de expressão visuais
• Fornecer formulações alternativas equivalentes

Criador

Esta calculadora foi criada por Jonathan Søholm-Boesen como uma ferramenta educacional para estudantes de lógica e ciência da computação.

Mantido por

A Logic Calculator é atualmente mantida e desenvolvida pela Infobits ApS, uma empresa de desenvolvimento de software que cria produtos que respeitam a privacidade.

Propósito educacional

Esta ferramenta destina-se a ser um recurso educacional para ajudar os estudantes a compreender a lógica proposicional. Embora tenha sido originalmente criada para o curso Computabilidade e Lógica na Universidade de Aarhus, não está oficialmente associada à universidade.