"(p und q) oder (p und r)": An dieser Stelle scheint mir die Verwendung von und natürlicher. Diese zu kennen wird im nächsten Abschnitt eh vorausgesetzt, die Erklärung und Verlinkung zu Junktoren kommt erst viel später. Das sollte man entsprechend auch nach oben versetzen oder kopieren.