mantık

[p ⇔(p⇒q)] değili nedir?

[p ⇔(p⇒q)] nun doğruluk tablosudan [p ⇔(p⇒q)]≡q eşit olduğunu görebilirsin.

[p ⇔(p⇒q)] ' ≡ q ' olacaktır.