3.2 Erfüllbarkeit

Allgemein 
Beziehung zwischen $ef$ und $ag$