[(p^q)^p)] ^q' önermesinin en sade şekli nedir?​