equisatisfiability
English
Etymology
From
equi-
+
satisfiability
.
Noun
equisatisfiability
(
uncountable
)
(
logic
,
of two formulas
)
The condition of being
equisatisfiable
.