(p => 0) v (q <=> q') bileşik önermesinin en sade biçimi nedir ?