(p' v q)=>p' en sade bicimi​