Semantik der Quantorenlogik - Entscheidungsverfahren

1. Überprüfen Sie sowohl mit Hilfe von Venn-Diagrammen als auch mit der 0-1-Methode, ob die folgenden Formel Tautologien sind:
   

   1. "x P(x) Ú"x Q(x) É "x (P(x) ÚQ(x))

   2. $x P(x) Ú$x Q(x) É $x (P(x) ÚQ(x))