Editing Logical disjunction (section)

==Notation==
In logic and related fields, disjunction is customarily notated with an infix operator <math>\lor</math> (Unicode {{unichar|2228|Logical Or}}).<ref name=":1"/> Alternative notations include <math>+</math>, used mainly in [[electronics]], as well as <math>\vert</math> and <math>\vert\!\vert</math> in many [[programming language]]s. The English word ''or'' is sometimes used as well, often in capital letters. In [[Jan Łukasiewicz]]'s [[Polish notation#Polish notation for logic|prefix notation for logic]], the operator is <math>A</math>, short for Polish ''alternatywa'' (English: alternative).<ref>[[Józef Maria Bocheński]] (1959), ''A Précis of Mathematical Logic'', translated by Otto Bird from the French and German editions, Dordrecht, North Holland:  D. Reidel, passim.</ref>

In mathematics, the disjunction of an arbitrary number of elements <math>a_1, \ldots, a_n</math> can be denoted as an [[iterated binary operation]] using a larger ⋁ (Unicode {{unichar|22C1|N-Ary Logical Or}}):<ref>{{cite web |last1=Weisstein |first1=Eric W. |title=OR |url=https://mathworld.wolfram.com/OR.html |website=MathWorld--A Wolfram Web Resource |access-date=24 September 2024 |language=en}}</ref>

<math>
\bigvee_{i=1}^{n} a_i = a_1 \lor a_2 \lor \ldots a_{n-1} \lor a_{n}
</math>