Calculadora Lógica
Gerador de tabelas de verdade gratuito para lógica proposicional e álgebra de Boole. Para qualquer expressão: a tabela de verdade, as propriedades, as formas equivalentes, o mapa de Karnaugh e o diagrama de circuito; e para qualquer argumento, uma demonstração por tableau semântico. Tudo no seu navegador.
Insira uma expressão lógica para analisá-la (suporta lógica proposicional, álgebra booleana)
Guia
Clique num operador para experimentar o seu exemplo na calculadora. Cada um mostra todas as formas de o escrever.
Aprenda lógica, passo a passo
Um percurso guiado da sua primeira proposição às tabelas de verdade e à álgebra booleana, até à forma como a lógica é usada em programação, matemática e filosofia.
Exercícios práticos
Pratique com exercícios sobre tabelas de verdade, álgebra booleana, equivalências lógicas e demonstrações. Acompanhe o seu progresso e faça sessões de treino adaptativo.
Tabela de Verdade para Expressão
Converta qualquer tabela de verdade em uma expressão lógica. Gere fórmulas booleanas em Forma Normal Disjuntiva (FND) ou Forma Normal Conjuntiva (FNC) a partir da sua tabela de verdade personalizada.
Sobre
Uma calculadora de lógica, calculadora proposicional e calculadora booleana abrangentes. Perfeita para estudantes e profissionais que trabalham com lógica proposicional, álgebra booleana, lógica de predicados, tabelas de verdade e expressões lógicas.
Contato e Relatar Problemas
Encontrou um bug ou tem feedback? Adoraríamos ouvir você. Envie-nos um e-mail para [email protected]. Consultas são preferidas em inglês.
Perguntas frequentes
Encontre respostas às perguntas mais comuns sobre a utilização da Calculadora Lógica
Que operadores lógicos suporta a calculadora?
A calculadora suporta todos os operadores lógicos habituais: NÃO (¬, !), E (&, ∧), OU (|, ∨), IMPLICA (→, ->) e BICONDICIONAL (↔, <->). Pode usar estes operadores para construir expressões lógicas complexas.
Como escrevo símbolos como ∧ e → num teclado normal?
Não precisa. Cada símbolo tem uma escrita em ASCII que a calculadora entende: & para ∧, | para ∨, ! ou ~ para ¬, -> para → e <-> para ↔. As constantes ⊤ e ⊥ podem escrever-se como true e false, ou T e F. Se preferir os próprios símbolos, o teclado de operadores por baixo do campo de entrada insere-os por si.
Posso verificar se duas expressões lógicas são equivalentes?
Sim! Use a verificação de equivalência separando duas expressões com '==' para determinar se são logicamente equivalentes. A calculadora compara as respetivas tabelas de verdade para confirmar a equivalência.
A calculadora consegue verificar se um argumento é válido?
Sim. Escreva as premissas separadas por vírgulas, depois um traço de consequência e a seguir a conclusão, como em 'p, p -> q ⊨ q'. O traço também pode ser escrito como |= ou |-. A calculadora indica se a conclusão se segue, que premissas são de facto necessárias, se as premissas podem ser todas verdadeiras ao mesmo tempo e, quando o argumento falha, mostra contramodelos que tornam cada premissa verdadeira e a conclusão falsa.
O que significam 'satisfazível' e 'válida'?
Uma expressão satisfazível pode ser tornada verdadeira sob pelo menos uma atribuição de valores de verdade. Uma expressão válida (tautologia) é verdadeira sob todas as atribuições possíveis. A calculadora verifica automaticamente ambas as propriedades das suas expressões.
Dados
Usamos armazenamento local para salvar seu histórico. Se você quiser limpar esses dados, use o botão abaixo.