Truth Tables
4,2star
527 avis
100 k+
Téléchargements
Tout public
info
À propos de l'application
Le seul but de ce programme est de générer et d'afficher, tables de vérité.
Cette version gratuite soutient tous les connecteurs usuels de la logique classique, c'est la négation, la conjonction, disjonction (inclus), conditionnelle à des (implication matérielle), et biconditional (équivalence matérielle), ainsi que les constantes 1 et 0 désignant la vérité et le mensonge, respectivement. Un truc cool, c'est que, outre le solfège peu ennuyeux de logique, vous pouvez utiliser rationalisée, la notation polonaise brillante de Lukasiewicz, trop.
Et il ne s'arrête pas là. Si vous êtes le, sens commun genre de personne terre-à-terre, vous verrez que c'est rassurant de savoir que, par défaut, le programme utilise classique, à deux valeurs, logique. Mais si vous êtes plus du type aventureux, ne s'arrêtant jamais à court d'une entreprise, vous serez ravis d'apprendre que les Tables de vérité pour Android prend en charge un certain nombre de systèmes non classiques multi-valeur de la logique, aussi. Ne jamais entrer dans une rivière deux fois, et deux négatifs ne font pas une affirmation, pour ainsi dire!
Cette version gratuite soutient tous les connecteurs usuels de la logique classique, c'est la négation, la conjonction, disjonction (inclus), conditionnelle à des (implication matérielle), et biconditional (équivalence matérielle), ainsi que les constantes 1 et 0 désignant la vérité et le mensonge, respectivement. Un truc cool, c'est que, outre le solfège peu ennuyeux de logique, vous pouvez utiliser rationalisée, la notation polonaise brillante de Lukasiewicz, trop.
Et il ne s'arrête pas là. Si vous êtes le, sens commun genre de personne terre-à-terre, vous verrez que c'est rassurant de savoir que, par défaut, le programme utilise classique, à deux valeurs, logique. Mais si vous êtes plus du type aventureux, ne s'arrêtant jamais à court d'une entreprise, vous serez ravis d'apprendre que les Tables de vérité pour Android prend en charge un certain nombre de systèmes non classiques multi-valeur de la logique, aussi. Ne jamais entrer dans une rivière deux fois, et deux négatifs ne font pas une affirmation, pour ainsi dire!
Date de mise à jour
La sécurité, c'est d'abord comprendre comment les développeurs collectent et partagent vos données. Les pratiques concernant leur confidentialité et leur protection peuvent varier selon votre utilisation, votre région et votre âge. Le développeur a fourni ces informations et peut les modifier ultérieurement.
Aucune donnée partagée avec des tiers
En savoir plus sur la manière dont les développeurs déclarent le partage
Aucune donnée collectée
En savoir plus sur la manière dont les développeurs déclarent la collecte
Notes et avis
4,3
484 avis
Un utilisateur de Google
- Signaler un avis inapproprié
4 décembre 2019
Renforcer la capacité améliorer
Nouveautés
* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)