equisatisfiable
Adjective
Meaning
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).
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).