(qvp)^(q ise q) bileşik önermesinin sadeleştirilmiş şekli ?