Логическое соответствие «Эквивалентность» Два или несколько высказываний «Эквивалентны» если они одновременно истинны или ложны. Эквивалентность обозначается: А ~ В, А↔В, A ≡ B читается А эквивалентно В Эквивалентность в математической логике определяется таблицей