Proposition: Kommutativgesetze der Logik

Seien und aussagenlogische Formeln.

Dann gilt: