Equisatisfiability

In logic, two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not. Two equisatisfiable formulae may have different models, provided they both have some or both have none. As a result, equisatisfiability is different from logical equivalence, as two equivalent formulae always have the same models.

单词	Equisatisfiability
释义	Equisatisfiability 英语百科 Equisatisfiability In logic, two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not. Two equisatisfiable formulae may have different models, provided they both have some or both have none. As a result, equisatisfiability is different from logical equivalence, as two equivalent formulae always have the same models.
随便看	excess symptom excess symptom of nitrogen excess symptom of nutrient elements excess syndrome excess tax excess tax credit excess tax paid excess temperature excess temperature limit excess temperature shutdown excess temperature shut down excess tetrahedral phase excess thermodynamic function excess thermodynamics excess three excessthree Excess three code excess thrust excess tonnage of hatchway excess torque excess type excessus excess vacancy excess value excess velocity