तर्कशास्त्र और सम्बन्धित क्षेत्रों जैसे गणित और दर्शनशास्त्र में यदि और केवल यदि (संक्षिप्त यदिदि) कथनों के मध्य द्वि-प्रतिबंध तार्किक संयोजक है।

↔ ⇔ ≡

प्रतीक चिह्न जो
यदिदि को निरूपित करते हैं।

p ↔ q की सत्य सारणी निम्न प्रकार है:[1]

यदिदि
p q
pq
T T T
T F F
F T F
F F T

यहाँ T और F क्रमशः सत्य और असत्य मानों को निरुपित करते हैं।

यहाँ ध्यान रहे कि यह XNOR गेट द्वारा प्राप्त और XOR गेट द्वारा प्राप्त सत्य सारणी का विलोम के तुल्य परिणाम है।

इससे सम्बंधित तार्किक संकेत "↔", "⇔" और "≡", तथा कभी कभी यदिदि भी काम में लिया जाता है। ये सामान्यतः तुल्यता प्रकट करने के लिए काम में लिए जाते हैं।