(p <=> q) <=> (p<=>q)' önermenin cevabı için yardım eder misiniz?