equisatisfiable

adjective1

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

   • The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping. — 2015