$\sigma =\left\{E\right\}$   mit

Menge der Variablen: $\left\{x,y,z\right\}$

Menge der freien Variablen: $\left\{\right\}$

Menge der gebundenen Variablen: $\left\{z,y,x\right\}$

$\forall x\mathrm{ }\forall y\mathrm{ }\forall z\mathrm{ }\left(\left(E\left(x,y\right)\wedge E\left(y,z\right)\right)\to E\left(x,z\right)\right)$ ist nicht in Negationsnormalform.

$\forall x\mathrm{ }\forall y\mathrm{ }\forall z\mathrm{ }\left(\left(E\left(x,y\right)\wedge E\left(y,z\right)\right)\to E\left(x,z\right)\right)$ ist in Pränex.

Negationsnormalform berechenen
Pränex - Normalform berechenen
Syntaxbaum der Formel angeben