Hozzuk konjunktív és diszjunktív normálformára a következő formulákat.

Határozzuk meg az alábbi formulák prenex alakját.

Írjunk olyan programot, amelyik előállítja egy elsőrendű formula prenex alakját.

Határozzuk meg az alábbi formulák univerzális Skolem-normálformáját.