Académique Documents
Professionnel Documents
Culture Documents
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.