[قشطة]

(r ⇒s)⟺¬(¬r ∨ s )¬
par la règle de morgen:l
(l l¬(¬r ∨ s )⟺ ( r ⋀¬s
donc
(r ⇒s)⟺(r ⋀¬s )¬