Générateur de table de vérité

Un outil puissant pour générer des tables de vérité de logique propositionnelle.

Instructions

Saisissez votre énoncé de logique propositionnelle à l'aide des boutons. Pour l'instant, seules cinq variables propositionnelles (p, q, r, s, t) sont disponibles. Pour plus d'informations sur la manière de saisir correctement l'énoncé dans le générateur, consultez la section "Comment utiliser correctement le générateur ?". Une fois que vous avez saisi l'énoncé, choisissez le type de table souhaité (Vrai/Faux) ou (1/0), puis cliquez sur Générer et il créera automatiquement la table de vérité. Si vous souhaitez la sauvegarder, vous pouvez la télécharger au format png.

Comment utiliser correctement le générateur ?

Si l'énoncé n'est pas saisi correctement, le programme ne le comprendra pas et ne le traitera pas correctement. Assurez-vous que les propositions et les connecteurs sont correctement placés selon les règles de la logique propositionnelle, et assurez-vous également que les parenthèses sont correctement placées. Les parenthèses sont très importantes, car elles établissent l'ordre dans lequel le programme doit commencer à fonctionner. Si elles ne sont pas correctement placées, le programme peut sauter des étapes ou ne pas générer correctement la table. Si vous essayez les deux exemples suivants, vous verrez que bien qu'ils contiennent les mêmes éléments, le deuxième ne fonctionne pas parce qu'il ne contient pas toutes les parenthèses nécessaires :

1. ((((p⇒(q∧r))∧(s⇒(¬r)))∧(s∨t))∧p)⇒t
2. (p⇒(q∧r)∧(s⇒(¬r))∧(s∨t)∧p)⇒t

Opérateurs logiques inclus dans ce générateur

• ¬ - Négation
• ∧ - Conjonction
• ∨ - Disjonction
• ⇒ - Conditionnel
• ⇔ - Biconditionnel
• ⊕ - Disjonction exclusive

Soutenez ce site web

Si cette page vous a été utile, partagez-la avec vos contacts par e-mail, sur les réseaux sociaux, ... etc.