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
cancel
ausschalten
& 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 Multiplicator von 5 einstellig ist [.|&] die in denen er 3-stellig ist.) Aber wieweit darf ich diese Ausschließung treiben?