Hi zusammen,
ich schreibe momentan an meiner Masterarbeit und muss dabei sehr oft logische Formeln in der disjunktiven Normalform untersuchen.
Die Disjunktionen werden also durch Umformungen auf die höchste Ebene gebracht. Meine Frage ist jetzt, wie heißen die einzelnen Teile einer Disjunktion?
So wie die Summanden in der Summe oder die Faktoren im Produkt.
Einen offiziellen Namen habe ich nicht finden können. Hat jemand eine Idee oder schonmal gehört, wie ich die Dinger nennen kann?
In englischen Papern bin ich öfter auf "disjunct" gestoßen. Disjunkt bedeutet im Deutschen aber schon etwas anderes (nämlich das, was im Englischen "disjoint" heißt).
Danke!