„Dann gelingt die aequivalente Umformung von H** in eine numerische Normalform H*** in mehreren Schritten, wobei es immer möglich ist, daß durch Wegfallen aller Glieder einer Konjunktion oder ''Alternative'' sich einer der beiden Grenzfälle […] ergibt.“<ref>{{Internetquelle|url=https://books.google.se/books?id=OP2iBgAAQBAJ&pg=PA319|titel=Grundzüge der Mathematischen Logik, Heinrich Scholz, Gisbert Hasenjaeger|zugriff=2020-10-03}}</ref>
{{K|Logik}} Aussage, bei der zwei Aussagesätze durch ein inklusives ''oder'' verbunden sind und die genau dann wahr ist, wenn zumindest einer davon wahr ist