Theorem: Regeln von De Morgan

Seien und aussagenlogische Formeln.

Dann gilt: