Editing Logical conjunction (section)

==Notation==

'''And''' is usually denoted by an infix operator: in mathematics and logic, it is denoted by a "wedge" <math>\wedge</math> (Unicode {{unichar|2227|Logical And}}),<ref name=":2" /> <math>\&</math> or <math>\times</math>; in electronics, <math>\cdot</math>; and in programming languages '''<code>&amp;</code>''', '''<code>&amp;&amp;</code>''', or '''<code>and</code>'''.   In [[Jan Łukasiewicz]]'s [[Polish notation#Polish notation for logic|prefix notation for logic]], the operator is <math>K</math>, for Polish ''koniunkcja''.<ref>[[Józef Maria Bocheński]] (1959), ''A Précis of Mathematical Logic'', translated by Otto Bird from the French and German editions, Dordrecht, South Holland:  D. Reidel, passim.</ref>

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

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