Vous êtes sur la page 1sur 1

La distributivité du "OU" ∨ sur le "ET" ∧ :

P Q R Q∨R P ∧Q P ∧R P ∧ (Q ∨ R) (P ∧ Q) ∨ (P ∧ R)
V V V V V V V V
V V F V V F V V
V F V V F V V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V F F F F F
F F F F F F F F

Les tables de vérité des deux membres sont bien les mêmes, ils sont donc
bien équivalents.
Exemple 11. Le théorème de De Morgan appliqué au "ET" :
P Q P ∧ Q ¬(P ∧ Q) ¬P ¬Q ¬P ∨ ¬Q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V

Les tables de vérité des deux membres sont bien les mêmes, ils sont donc
bien équivalents.

Vous aimerez peut-être aussi