Proposition: Idempotenzregeln der Logik

Sei eine aussagenlogische Formel.

Dann gilt: