Jabarkan Definisi dari Jika dan hanya jika

Tabel kebenaran p ↔ q adalah sebagai berikut:

di mana: T: true atau "benar"; F: false atau "salah"

Perhatikan bahwa hasil itu sama dengan yang dihasilkan oleh XNOR gate, dan berlawanan dengan yang dihasilkan oleh XOR gate.

Simbol logika yang bersangkutan adalah "↔", "⇔" dan "≡", serta kadang-kadang "iff". Semua ini biasanya diperlakukan ekuivalen. Namun, sejumlah teks logika matematika (khususnya pada logika order pertama, daripada logika proposisional) membedakan tanda-tanda itu, di mana tanda ↔ digunakan sebagai simbol dalam rumus logika, sedangkan tanda ⇔ digunakan dalam menyampaikan alasan mengenai rumus-rumus logika itu (yaitu dalam metalogika). Dalam notasi Łukasiewicz, digunakan simbol prefiks 'E'.

Istilah lain untuk logical connective ini adalah exclusive nor.