Proposition: Assoziativgesetze der Logik

Seien und aussagenlogische Formeln.

Dann gilt: