Entscheidungsverfahren und Äquivalenz

1. Überprüfen Sie, ob die folgenden Fomelklassen jeweils gemeinsam erfüllbar sind:

   1. { p Ù(qÚr), (q º q) É ~ r,  ~ r É ~ p}

   2. { p Ù(q É r), (qÚ ~ q) É ~ r,  ~ r É ~ p}