Эквиваленция: различия между версиями

<strong>Логическая равнозначность или эквивале́нция</strong> (или '''эквивале́нтность'''<ref>{{Из БСЭ|заглавие=Алгебра логики}}</ref>) — это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность. Двуместная [[логическая операция]] обычно обозначается символом ≡ или ↔.