Truth Tables for Android APK

Descrição

O único propósito deste programa é gerar e exibir tabelas-verdade. Então, meus companheiros lógicos: Não pergunte o que o programa de tabelas de verdade pode fazer por você - pergunte o que você pode fazer pelo programa de tabelas de verdade! Esta versão gratuita suporta todos os conectivos usuais da lógica clássica, que é negação, conjunção, (inclusive) disjunção, condicional (implicação material) e bicondicional (equivalência material), bem como as constantes 1 e 0 denotando verdade e falsidade, respectivamente. Uma coisa legal é que, além da notação padrão um tanto chata da lógica, você também pode usar a notação polonesa brilhante e alinhada de Lukasiewicz! Isso não é um acordo? E não para por aqui. Se você é o tipo de pessoa realista e de bom senso, achará reconfortante que, por padrão, o programa use lógica clássica de dois valores. Mas se você é mais do tipo aventureiro, nunca parando de uma vida de aventura pode oferecer, você ficará encantado em saber que o Truth Tables para Android também suporta vários sistemas de lógica não clássicos e de vários valores. Nunca entre em um rio duas vezes, e dois negativos não fazem uma afirmação, por assim dizer! Nenhum animal foi ferido na realização deste aplicativo. Histórico de versões3.020001 - liberação de manutenção3.01002 - permitindo orientação fixa (solicitada por user)3.01: Adicionando barras de rolagem (solicitadas por um usuário)3.0: Este é um grande retrabalho do funcionamento interno, levando a uma experiência de usuário mais suave e praticamente ilimitada (não há limites mais relevantes para o tamanho da tabela de verdade). 2.1: Agora você pode inserir mais de uma proposição por vez (separadas por vírgulas). Neste caso, o programa mostrará uma tabela-verdade integrada para todas as proposições.2.05: opcionalmente suprime o teclado virtual do Android (solicitado por um usuário)2.04: suporte para versões mais antigas do Android (a partir de 1.6) mais uma pequena correção (ao girar o botão tela com a caixa de diálogo de configurações aberta, as configurações alteradas desta caixa de diálogo não foram aplicadas)2.03: exibição mais atraente do histórico de proposições inseridas - puramente cosmético2.02: adição de uma função de histórico para proposições (solicitada por um usuário)2.01: adição de um nível adicional de detalhamento mostrando as avaliações para subexpressões complexas, mas não para subexpressões atômicas (solicitadas por um usuário estimado) 2.0: Opcionalmente, a tabela verdade também mostra todos os resultados intermediários ("tabela verdade detalhada"); melhorias internas 1.000020101: adição de NAND, NOR e XOR (um toque longo nos botões de conjunção, disjunção e equivalência inserirá NAND, NOR e XOR, respectivamente) 1.0000201: salvando persistentemente as configurações globais; uma pressão longa no botão Excluir limpa todo o campo de entrada 1.00002: Devido a uma entrada ausente na lista de recursos de string em inglês, a versão em inglês do aplicativo não pôde abrir a caixa de diálogo de configurações principais...1.00001: gerando um versão do arquivo APK com muito mais economia de espaçoPalavras-chave: tabelas de verdade tabelas de verdade tabela de verdade Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikAlterações recentes: versão de manutenção (em circunstâncias muito raras, o aplicativo pode fechar ao alterar a orientação do dispositivo com a caixa de diálogo de configurações aberto)Classificação do conteúdo: Todos