Truth Tables for Android APK

La description

Le seul but de ce programme est de générer et d'afficher des tables de vérité. Alors, mes collègues logiciens : ne demandez pas ce que le programme de tables de vérité peut faire pour vous - demandez ce que vous pouvez faire pour le programme de tables de vérité ! Cette version gratuite prend en charge tous les connecteurs habituels de la logique classique, c'est-à-dire la négation, la conjonction, disjonction (inclusive), conditionnelle (implication matérielle) et biconditionnelle (équivalence matérielle), ainsi que les constantes 1 et 0 dénotant respectivement la vérité et le mensonge. Une chose intéressante est que, en plus de la notation standard quelque peu ennuyeuse de la logique, vous pouvez également utiliser la notation polonaise simplifiée et brillante de Lukasiewicz ! N'est-ce pas une affaire? Et ça ne s'arrête pas là. Si vous êtes le genre de personne terre-à-terre et de bon sens, vous trouverez rassurant que, par défaut, le programme utilise une logique classique à deux valeurs. Mais si vous êtes plutôt du genre aventureux, ne vous arrêtant jamais avant une vie d'aventure, vous serez ravi d'apprendre que Truth Tables pour Android prend également en charge un certain nombre de systèmes logiques non classiques à valeurs multiples. N'entrez jamais deux fois dans une rivière, et deux négatifs ne font pas une affirmation, pour ainsi dire ! Aucun animal n'a été blessé lors de la création de cette application. user)3.01 : Ajout de barres de défilement (demandé par un utilisateur)3.0 : Il s'agit d'une refonte majeure du fonctionnement interne, conduisant à une expérience utilisateur plus fluide et pratiquement illimitée (il n'y a plus de limites pertinentes à la taille de la table de vérité). 2.1 : Vous pouvez désormais saisir plusieurs propositions à la fois (séparées par des virgules). Dans ce cas, le programme affichera une table de vérité intégrée pour toutes les propositions.2.05 : supprime éventuellement le clavier logiciel Android (demandé par un utilisateur). écran avec la boîte de dialogue des paramètres ouverte, les paramètres modifiés de cette boîte de dialogue n'ont pas été appliqués) 2.03 : affichage plus attrayant de l'historique des propositions saisies - purement cosmétique 2.02 : ajout d'une fonction d'historique pour les propositions (demandée par un utilisateur) 2.01 : ajout d'un niveau supplémentaire de verbosité montrant les évaluations pour les sous-expressions complexes, mais pas pour les sous-expressions atomiques (demandé par un utilisateur estimé)2.0 : En option, la table de vérité montre également tous les résultats intermédiaires ("table de vérité détaillée"); améliorations internes 1.000020101 : ajout de NAND, NOR et XOR (un appui long sur les boutons de conjonction, de disjonction et d'équivalence entrera respectivement NAND, NOR et XOR) 1.0000201 : enregistrement persistant des paramètres globaux ; un appui long sur le bouton Supprimer efface tout le champ de saisie1.00002 : En raison d'une entrée manquante dans la liste des ressources de chaînes anglaises, la version anglaise de l'application n'a pas pu ouvrir la boîte de dialogue principale des paramètres...1.00001 : génération d'un version beaucoup plus peu encombrante du fichier APKMots-clés : tables de vérité tables de vérité table de vérité Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikModifications récentes : version de maintenance (dans de très rares circonstances, l'application peut se fermer lors du changement d'orientation de l'appareil avec la boîte de dialogue des paramètres ouvert)Classement du contenu : Tout le monde