Erfüllbarkeitsäquivalenz Bedeutung

Erfüllbarkeitsäquivalenz

Erfüllbarkeitsäquivalenz ist eine Eigenschaft, die zwischen zwei prädikatenlogischen Formeln gelten kann. ...
Gefunden auf https://de.wikipedia.org/wiki/Erfüllbarkeitsäquivalenz

---