Mathématiques > Logique et Raisonnement Mathématique > Logique Propositionnelle > Tables de vérité

Simplification d'Expressions Logiques avec les Tables de Vérité

Apprenez à utiliser les tables de vérité pour simplifier des expressions logiques complexes. Découvrez comment identifier les propositions équivalentes et réduire la complexité des raisonnements logiques. Exercices et exemples pour les élèves de lycée.

L'Équivalence Logique

Deux propositions logiques sont équivalentes si elles ont la même table de vérité. Autrement dit, elles prennent les mêmes valeurs de vérité pour toutes les combinaisons possibles de valeurs de vérité de leurs composantes. On note l'équivalence logique avec le symbole ≡. Par exemple, P → Q ≡ ¬P ∨ Q.

Utilisation des Tables de Vérité pour Prouver l'Équivalence

Pour prouver que deux propositions sont équivalentes, on construit leurs tables de vérité respectives. Si les colonnes correspondant aux deux propositions sont identiques, alors les propositions sont équivalentes.

Exemple: Prouvons que P → Q ≡ ¬P ∨ Q :

PQP → Q¬P¬P ∨ Q
VVVFV
VFFFF
FVVVV
FFVVV

Les colonnes 'P → Q' et '¬P ∨ Q' sont identiques, donc P → Q ≡ ¬P ∨ Q.

Simplification d'Expressions Logiques Complexes

Les tables de vérité peuvent être utilisées pour simplifier des expressions logiques complexes en trouvant une expression équivalente plus simple. Cela peut être utile pour rendre un raisonnement plus clair et pour optimiser des circuits logiques.

Exemple: Simplifions l'expression (P ∧ Q) ∨ (P ∧ ¬Q) :

PQ¬QP ∧ QP ∧ ¬Q(P ∧ Q) ∨ (P ∧ ¬Q)
VVFVFV
VFVFVV
FVFFFF
FFVFFF

On remarque que la colonne '(P ∧ Q) ∨ (P ∧ ¬Q)' est la même que la colonne de P. Donc, (P ∧ Q) ∨ (P ∧ ¬Q) ≡ P.

Cela signifie que l'expression complexe peut être remplacée par la simple proposition P.

Quelques Équivalences Logiques Utiles

Voici quelques équivalences logiques qui sont fréquemment utilisées pour simplifier les expressions:

  • Double Négation: ¬(¬P) ≡ P
  • Lois de De Morgan: ¬(P ∧ Q) ≡ ¬P ∨ ¬Q et ¬(P ∨ Q) ≡ ¬P ∧ ¬Q
  • Distributivité: P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R) et P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)
  • Implication: P → Q ≡ ¬P ∨ Q
  • Contraposition: P → Q ≡ ¬Q → ¬P
Ces équivalences, combinées aux tables de vérité, permettent de manipuler et de simplifier des expressions logiques complexes.

Exercices

Essayez de simplifier les expressions suivantes en utilisant les tables de vérité et les équivalences logiques:

  • ¬(P ∨ ¬P)
  • (P → Q) ∧ (Q → P)

Ce qu'il faut retenir

  • Deux propositions logiques sont équivalentes si elles ont la même table de vérité.
  • Les tables de vérité permettent de prouver l'équivalence de propositions.
  • Simplifier une expression logique consiste à trouver une expression équivalente plus simple.
  • Les lois de De Morgan, la distributivité et la contraposition sont des équivalences logiques utiles.

← Raisonnement par contre-exemple Tautologies et Contradictions : Les Fondements de la Vérité Logique →

FAQ

  • Pourquoi simplifier les expressions logiques ?

    Simplifier les expressions logiques rend les raisonnements plus clairs, facilite la compréhension et l'analyse des arguments, et peut optimiser la conception de circuits logiques.
  • Est-ce qu'il y a toujours une seule façon de simplifier une expression ?

    Non, il peut y avoir plusieurs façons de simplifier une expression logique. L'important est d'arriver à une expression équivalente plus simple.