p'⇒[(p⇒q)⇒p']
bileşik önermesinin bir totoloji olup olmadığını
inceleyiniz.