Logique et Tables de vérité

Sélectionner et configurer la formule logique

Table de vérité générée

💡 Règles des symboles de la logique propositionnelle

  • ET ∧ : Vrai (V) uniquement lorsque P et Q sont tous deux Vrais (V).
  • OU ∨ : Vrai (V) si au moins l'un des énoncés P ou Q est Vrai (V).
  • Implique ⇒ : Faux (F) uniquement lorsque P est Vrai (V) et Q est Faux (F) ; sinon Vrai (V).
  • OU exclusif ⊕ : Vrai (V) uniquement lorsque les valeurs de vérité de P et Q sont différentes.