Proposition: Distributivgesetze der Logik

Seien und aussagenlogische Formeln.

Dann gilt: