(p=>q') v p' önermesinin en sade hali nedir ?