(q’ => p’) => (p v q) en sade hali?