The resulting formula is not necessarily equivalent to the original one .
Is equisatisfiable with it : it is satisfiable if and only if the original one is satisfiable .
The resulting formula is not necessarily equivalent to the original one , but is equisatisfiable with it : it is satisfiable if and only if the original one is satisfiable .