p' v[(p v q') ^ (p v q)] önermesi neye denktir