(p v q) ^ r önermesinin değili nedir?