https://9dok.net/document/y9627g6j-wandeln-sie-folgende-formel-ψin-skolem-normalform-rxy.html