Logische disjunctie: verschil tussen versies

Logische disjunctie is [[associativiteit (wiskunde)|associatief]] en [[commutatief]]. Dat wil zeggen dat <math>(A\or B)\or C</math> [[Logische equivalentie|logisch equivalent]] is met<math>A\or (B\or C)</math> (associativiteit) — de haakjes kunnen dus zonder ambiguïteit te veroorzaken weggelaten worden — en dat <math>A \or B</math> logisch equivalent is aan <math>B \or A</math> (commutativiteit).