10

Unglücklicherweise wird das Wort „Disjunktion“ im Rahmen der polnischen Notation anders verwendet: Es bezeichnet dort das ausschließende Oder.