4.5. Feladatok

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

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

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

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