https://9dok.net/document/q7w7pwvn-gruppenübung-mathematischelogik-ss-aufgabe-prüfensiemithilfe-deserfüllbarkeitstestsausdervorlesung-formelnerfüllbarsind-a.html