p v (p ^ q) önermesinin en sade hali nedir?​