(p'vq)'^'q önermesinin sonucu nedir?