Calculadora proposicional de matemática e lógica
Logic Calculator Free é um aplicativo que fornece o valor verdade de uma proposição lógica de 2 maneiras diferentes: você pode inserir o valor verdade individual das variáveis para fornecer um único valor verdade verdadeiro ou falso que corresponda a toda a proposição, ou você pode inserir a proposição lógica e ela fornece automaticamente uma tabela verdade com todas as combinações possíveis, dependendo do número de variáveis em uso. Nesse caso o resultado pode ser uma tautologia, uma contingência ou uma contradição.
A calculadora também possui um modo de comparação. Ele compara até 3 proposições para verificar sua equivalência. Após a verificação ele constrói automaticamente a tabela verdade da comparação.
Operações suportadas: AND, NAND, OR, NOR, XOR, IMPLICATION, BICONDITIONAL.
- Até 6 variáveis disponíveis nesta versão Gratuita (64 combinações possíveis).
- Erros de sintaxe marcados para encontrá-los mais facilmente.
- Personalização do teclado.
- Parênteses, colchetes e colchetes aninhados para cálculos complexos.
- Demonstração passo a passo.
- Lista das últimas proposições calculadas.
- Lista de regras de inferência com possibilidade de testar qualquer uma delas.
- NOVO! Lista de leis de equivalência com exemplos.
- Teoria das tabelas verdade de todos os operadores lógicos.
- Não é necessária conexão com a internet para calcular!
- Mais modos de cálculo em atualizações futuras!
Leia mais
