Эквиваленция обозначается 
или 
, читается «А тогда и только тогда, когда В».
Таблица истинности для эквиваленции выглядит так:
| А
| В
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В форме эквиваленции, как правило, формулируются определения (например, определения логических операций).
Пример 7:Пусть через А обозначено высказывание «9 делится на 3», а через В – высказывание «10 делится на 3». Составьте высказывания, имеющие логическую структуру: а) 
; б) 
; в) ; г) 
; д) 
; е) 
и определите их значения истинности.
Решение. а) = «Если 9 делится на 3, то 10 делится на 3» = 0, т.к. А = 1, а В = 0. б) = «Если 10 делится на 3, то 9 делится на 3» = 1. в) = «9 делится на 3 тогда и только тогда, когда 10 делится на 3» = 0. г) = «10 делится на 3 тогда и только тогда, когда 9 делится на 3» = 0. д) = «Если 9 не делится на 3, то 10 делится на 3» = 1 (т.к. А = 1, то 
= 0 и В = 0, следовательно, = 1). е) = «9 делится на 3 тогда и только тогда, когда 10 не делится на 3» = 1 (А = 1 и 
= 1, тогда = 1).
