Как выглядит эквивалентность в алгебре высказываний?

Эквиваленция
и эквивалентность – разные вещи.
Логические
выражения X и Y эквивалентны в том и только в том случае, когда эквиваленция X-Yистинна при всех значениях логических
переменных.

Отношение
эквивалентности (~) на множестве X — это бинарное отношение, для которого выполнены следующие условия:

1.
Рефлексивность: a ~ a для любого a в X,

2.
Симметричность: если a ~ b, то b ~ a,

3.
Транзитивность: если a ~ b и b ~ c, то a ~ c