Das ist von größerer Bedeutung als es vielleicht scheint. Wir können nämlich durch irgendwelche Regeln eine Reihe von Gliedern dieser Disjunktionen von vornherein ausschalten || cancel & das ist sehr merkwürdig. (So könnte man z.B. sagen in der Disjunktion 2 × 5 = 145 ⌵ 3 × 5 = 145 etc., lasse ich gleich einmal die Glieder weg in denen der Multiplikator von 5 einstellig ist & die in denen er 3-stellig ist.) Aber wieweit darf ich diese Ausschließung treiben?