Normalformtheorie

1. Bilden Sie eine kontradiktorische Formel in der adjunktiven Normalform mit den Aussagenvariablen q, q¹ und q² (verwenden Sie alle diese aber keine weiteren Aussagenvariablen)!
2. Bilden Sie eine tautologische Formel in der konjunktiven Normalform mit den Aussagenvariablen p, p¹ und p² (verwenden Sie alle diese aber keine weiteren Aussagenvariablen)!
3. Bilden Sie jeweils eine adjunktive Normalform der folgenden Formeln:

   1. ~ ( ~ p É (p É q)) Ú ~ (p É (q É p))

   2. p É q É p É ~ p

4. Bilden Sie jeweils eine konjunktive Normalform der folgenden Formeln:
   1. (p É q) Ù(p É r) É (p É q Ùr)

   2. ( ~ p É (p É q)) Ù(p É (q É p))

   3. (p É q) Ù(p É r) Ù(q É ~ r) É ~ p