∀(a, b): a∨b=b∨a

A tétel főleg szöveges formában: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció kommutatív.

Lásd még

Az összes cikk a(z) „Logika” témában

A bizonyítás:

• • p ∨ q akkor és csak akkor 1, ha ¬(¬p ∧ ¬q) 1.
  • Tudjuk, hogy a konjunkció kommutatív.
• Tehát ∀a∀b: ¬(¬p ∧ ¬q) = ¬(¬q ∧ ¬p)