An interpretation satisfies this formula only if at least one of the new variables is true. If this variable is , then both and are true as well. This means that every model that satisfies this formula also satisfies the original one. On the other hand, only some of the models of the original formula satisfy this one: since the are not mentioned in the original formula, their values are irrelevant to satisfaction of it, which is not the case in the last formula. This means that the original formula and the result of the translation are equisatisfiable but not equivalent.
An interpretation satisfies this formula only if at least one of the new variables is true If this variable is  then both and are true as well This means that every model that satisfies this formula also satisfies the original one On the other hand only some of the models of the original formula satisfy this one since the are not mentioned in the original formula their values are irrelevant to satisfaction of it which is not the case in the last formula This means that the original formula and the result of the translation are equisatisfiable but not equivalent