Эквиваленция (логическое равенство) в системах логического программирования используется для подчёркивания строгой связи между двумя утверждениями, где истинность одного гарантирует истинность другого, и наоборот. 1

Пример: есть два утверждения: «Я закончил свою работу» и «Я свободен на вечер». 1 Используя эквиваленцию (A ↔ B), можно соединить эти утверждения и сформулировать утверждение: «Я закончил свою работу тогда и только тогда, когда я свободен на вечер». 1

Основное правило эквиваленции: она истинна, когда оба утверждения имеют одинаковую истинностную величину. 1

Эквивалентность обозначается символом A ≡ B и является одной из логических операций, которые используются для построения логических выражений в алгоритмах, программировании и цифровой схемотехнике. 14