(p⇒p')⇒(p⇒p) bileşik önermesinin en sade halini bulalım.​