Re: [Logica-l] Gerador de tabelas de verdade robusto

2022-02-07 Por tôpico 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 estuda

Re: [Logica-l] Gerador de tabelas de verdade robusto

2022-02-07 Por tôpico Diego Leite de Oliveira
Boa tarde. Eu uso este aqui, Daniel. Mas nunca testes tabelas com tantas variáveis, k. 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 escreveu: > Eu gosto muito deste do Michael Rieppel mas não sei se sat

Re: [Logica-l] Gerador de tabelas de verdade robusto

2022-02-07 Por tôpico 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

Re: [Logica-l] Gerador de tabelas de verdade robusto

2022-02-07 Por tôpico Adolfo Neto
Eu gosto muito deste do Michael Rieppel mas não sei se satisfaz seu requisito https://mrieppel.net/prog/truthtable.html On Mon, Feb 7, 2022, 16:10 Daniel Durante wrote: > Colegas, > > Alguém conhece um gerador de tabelas de verdade, de preferência on-line, > simples de usar (com interface gráfic

[Logica-l] Gerador de tabelas de verdade robusto

2022-02-07 Por tôpico 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 Calculato