Gerador de tabelas de verdade robusto

[Daniel Durante]

Colegas,

Alguém conhece um gerador de tabelas de verdade, de preferência on-line, simples de usar (com interface gráfica) que seja robusto o suficiente para gerar tabelas conjuntas para grupos de sentenças com 6 variáveis (64 linhas)?

Eu tenho usado, com meus estudantes, o "The Logic Calculator" (www.votsis.org/logic), que dá para instalar no celular e tem o jeitão de uma calculadora. Ele até aceita 6 variáveis e múltiplas sentenças na mesma tabela, mas tem uma limitação de quantidade de caracteres das sentenças que é menor do que o necessário para alguns exercícios que passei para meus estudantes.

Obrigado,
Daniel.

[Adolfo Neto]

Eu gosto muito deste do Michael Rieppel mas não sei se satisfaz seu requisito

https://mrieppel.net/prog/truthtable.html

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c8ad7cdd-66ac-4189-9660-a78f184964c8n%40dimap.ufrn.br.

[Thiago Nascimento da Silva]

Olá Professor, eu costumava usar esse site aqui: https://web.stanford.edu/class/cs103/tools/truth-table-tool/ e o próprio wolframalpha. O wolframalpha tem a limitação de precisar escrever em inglês, mas acho que esse problema é facilmente contornável olhando os próprios exemplos que o wolframalpha  disponibiliza.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGfeFY-WZum2vZpLrDDa2Ng06PUJ6pOKjX%3DyXUQm94rVVw%40mail.gmail.com.

[Diego Leite de Oliveira]

Boa tarde.

Eu uso este aqui, Daniel.

Mas nunca testes tabelas com tantas variáveis, kkkkk.

https://web.stanford.edu/class/archive/cs/cs103/cs103.1156/tools/truth-table-tool/

Em seg., 7 de fev. de 2022 às 17:06, Adolfo Neto <ado...@utfpr.edu.br> escreveu:

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGfeFY-WZum2vZpLrDDa2Ng06PUJ6pOKjX%3DyXUQm94rVVw%40mail.gmail.com.

[Daniel Durante]

Obrigado pelas respostas, pessoal. Gostei do gerador da Stanford, porque ele é bem flexível nas expressões que aceita como entrada. Aceita várias notações diferentes para os operadores, é flexível com os os parênteses, aceita variáveis com índices numéricos,... e isso facilita a vida dos estudantes. Mas ele só faz uma sentença por vez. Pelo menos não descobri como fazer tabelas de verdade para grupos de sentenças nele.

Já o gerador do Michael Rieppel aceita múltiplas sentenças, mas é mais rígido nas expressões que aceita. Não flexibiliza os parênteses, não aceita índices nas variáveis e exige que os operadores estejam na sua notação.

De todo modo, obrigado pelas sugestões. Estou ensinando meus estudantes de filosofia a programar em PROLOG. Mas eu não posso contar pra eles que eles estão aprendendo a programar, porque senão eles perdem o interesse. Então eu uso geradores de tabelas de verdade como compiladores PROLOG rudimentares.

Saudações,
Daniel