Jika dan hanya jika

Tabel kebenaran "p ↔ q" adalah sebagai berikut: