equisatisfiable

释义与例句

adj.
  1. 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).

    数学 哲学

词源

From equi- + satisfiable.

来源：wiktionary