• equisatisfiable

equisatisfiable (suomeksi)

Määritelmät:

• (lb, en, logic) Of a pair of formulas, where one formula is (l, en, satisfiable) whenever the other is satisfiable (either both formulas are satisfiable or both are not).