Yazdırılabilir görünüm
[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.