(p^q’) ⇒p
önermesi neye denktir?