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
(D ⊓ (F ⊔ ¬E)) ⊔ ((E ⊓ (F ⊔ ¬E)) ⊑ D ⊔ F
((D ⊓ F) ⊔ (D ⊓ ¬E)) ⊔ ((E ⊓ F) ⊔ (E ⊓ ¬E)) ⊑ D ⊔ F
((D ⊓ F) ⊔ (D ⊓ ¬E)) ⊔ ((E ⊓ F) ⊔ ⊥) ⊑ D ⊔ F
((D ⊓ F) ⊔ (D ⊓ ¬E)) ⊔ (E ⊓ F) ⊑ D ⊔ F

Deux cas possibles:
((D ⊓ F) ⊔ (D ⊓¬E)) est vrai. Alors D doit être vrai.
(E ⊓ F) est vrai, alors F est vrai.

Donc, quelque soit la possibilité, soit D soit F est vrai.
Modifié le: mardi 2 novembre 2021, 16:34