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