Truth Tables
4,2star
527 avis
100 k+
Téléchargements
Tous
info
À propos de cette 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!
Dernière mise à jour :
La sécurité consiste d'abord à comprendre comment les développeurs collectent et partagent vos données. Les pratiques en matière de confidentialité et de sécurité des données peuvent varier selon votre utilisation, votre région et votre âge. Le développeur a fourni ces renseignements et peut les mettre à jour au fil du temps.
Aucune donnée n'est partagée avec des tiers
En savoir plus à propos de la façon dont les développeurs déclarent le partage
Aucune donnée collectée
En savoir plus à propos de la façon dont les développeurs déclarent la collecte
Notes et avis
4,2
484 avis
Un utilisateur de Google
- Signaler un avis inapproprié
4 décembre 2019
Renforcer la capacité améliorer
Quoi de neuf?
* 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)