Calculadora de matemática e lógica propositiva
Logic Calculator Free é um aplicativo que fornece o valor da verdade de uma proposta lógica de 2 maneiras diferentes: você pode inserir o valor da verdade individual das variáveis para oferecer um único valor de verdade verdadeiro ou falso que corresponde a toda a proposição, ou você pode inserir a proposição lógica e ela fornece automaticamente uma tabela de verdade com todas as combinações possíveis dependendo do número de variáveis no 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 se compara a 3 proposições para verificar sua equivalência. Após a verificação, ele constrói automaticamente a tabela de verdade da comparação.
Opperações apoiadas: e, nand, ou, nem, xor, implicação, bicondicional.
- Até 6 variáveis disponíveis nesta versão gratuita (64 combinações possíveis).
- erros de sintaxe marcados para encontrá -los com mais facilidade.
- Personalização do teclado.
- Parênteses, colchetes e colchetes -chave aninhados para cálculos complexos.
- Demonstração passo a passo.
- Lista das últimas proposições calculadas.
- As regras de inferência listam com a possibilidade de testar qualquer uma delas.
- NOVO! As leis de equivalência listam com exemplos.
- Teoria das Tabelas da Verdade de todos os operadores lógicos.
- Nenhuma conexão à Internet necessária para calcular!
- Mais modos de cálculo em atualizações futuras!