Словарь логики - равнозначность

(равносильность, эквивалентность) от­ношение между высказываниями или формулами, когда они при­нимают одни и те же истинностные значения. Напр., при любых значениях элементарных высказываний формулы (A v B) и (B v A), (A v (A & В)) и A принимают одни и те же значения, т. е. если одна из них истинна, то и другая истинна, если одна из них ложна, то и другая также ложна.