equisatisfiable
Meanings
adj
- Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
Word forms
Etymology
From equi- + satisfiable.
Derived words
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.