A ≡ B ⊓ C
B ≡ D ⊔ E
C ≡ F ⊔ ¬E

Posons A ⊑ D ⊔ F
Alors on a 
B ⊓ C ⊑ D ⊔ F
(D ⊔ E) ⊓ (F ⊔ ¬E) ⊑ D ⊔ F

Deux cas possibles:
E est vrai, alors F doit être vrai
E est faux, alors D doit être vrai
Donc soit D soit F doit être vrai
Last modified: Tuesday, 2 November 2021, 4:24 PM