equisatisfiable

== English == === Etymology === From equi- +‎ satisfiable. === Adjective === equisatisfiable (not comparable) (logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not). ==== Derived terms ==== === Further reading === Equisatisfiability on Wikipedia.Wikipedia