equisatisfiable
Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiableOf a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
Meaning
1 senses(not comparable)Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
Origin
From equi- + satisfiable.From equi- + satisfiable.
Wiktionary, CC BY-SA 4.0 · source
Word family
1 related wordsDerivedequisatisfiably