Tanımı
p ↔ qnun doğruluk tablosu aşağıdaki gibidir:
ancak ve ancak
pq
p ↔
q
D
D
D
D
Y
Y
Y
D
Y
Y
Y
D
Kullanımı
Gösterimi
"↔", "⇔" ve "≡" simgeleri ancak ve ancak ifadesini belirtir. Bu simgeler genellikle denkliği gösterir. Ancak, bazı matematiksel mantığın bazı metinlerinde ikisi arasında bir ayrım yapılır ve ↔ mantık formüllerinde bir sembol olarak kullanılırken,⇔ bu formüllerin mantıksal açıklamalarında kullanılır.
