(p'^q)V(p'Vq) bileşik onermesinin en sade hali​