equisatisfiable

Adjective

 * 1)  Of a pair of formulas, where one formula is  whenever the other is satisfiable (either both formulas are satisfiable or both are not).