истинностные значения высказываний A и B совпадают, и ложно — в противном случае.

Таблица истинности для эквивалентности имеет вид:

A	B	A B
0	0	1
0	1	0
1	0	0
1	1	1

Логическая операция A B соответствует союзу «тогда и только тогда, когда» и читается: « A эквивалентно B » (« A равнозначно B », «для того, чтобы A необходимо и достаточно, чтобы B »).

Когда мы говорим «A тогда и только тогда, когда B », то имеем в виду, что оба предложения A и B одновременно истинны, либо одновременно ложны. Например, говоря: «Я поеду в Ленинград тогда и только тогда, когда ты поедешь в Киев», мы утверждаем, что: либо произойдет и то и другое, либо ни того, ни другого.

Исключающее «или» (неравнозначность)

Неравнозначностью двух высказываний A и B называется высказывание, истинное, когда истинностные значения A и B не совпадают, и ложное — в противном случае. Обозначается: A B. Читается: «либо A, либо B » (понимается — в разделительном смысле). Таблица истинности для неравнозначности имеет вид:

A	B	A B
0	0	0
0	1	1
1	0	1
1	1	0

9