Логическая равнозначность или эквивале́нция (лат. aequivalens) — это логическое выражение, которое является истинным
Равносильный
ЭКВИВАЛЕ́НТНЫЙ
Равноценный
Равновеликий
Равный
ТАБЛИЦА ИСТИННОСТИ