логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность ◆ Иначе обстоит дело с условными суждениями, к которым относятся импликация и эквиваленция. Начнём с эквиваленции, так как её таблица истинности интуитивно очевидна. С. С. Рочев, «Курс общей логики в кратком изложении», 2000 г.