Aussagenlogik/Regel von de Morgan/Beweise/Aufgabe

Man beweise mittels Wahrheitstabellen die Regeln von de Morgan, nämlich dass

und

Tautologien

sind.