THESAURUS

Equisatisfiable Thesaurus

(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).

Related Words

Related dictionary entries include equisummable, valid, equibounded, quasiequational, equinumerous, equibipartite.

Continue With Equisatisfiable

Relationships are shown only after the shared lexical validator accepts them. A suggestion is not automatically an exact replacement.