Disjuntzio logiko

disjuntzioaren egiazkotasun taulak hauetsek dira[1]

P	Q	${\displaystyle P\lor Q}$
egia	egia	egia
egia	gezurra	egia
gezurra	egia	egia
gezurra	gezurra	gezurra

Taula honetan P eta Q bi esaldi dira eta haien artean nola jokatzen duten adierazten dugu taulak adibidez:

demagun esaldia dela: gaur purea jan dut edo yogurta jan dut esaldi hau egia da purea jan baduzu eta yogurta ez, yogurta jan baduzu eta purea ez; eta purea eta yogurta jan badituzu ere esaldiak egia izaten jarraitzen du. Azkenik gezurra daez baldin baduzu purerik ez yogurtik jan.

• Trukakorra da: ${\displaystyle P\lor Q=Q\lor P}$[2]
• elkarkorra da: ${\displaystyle (P\lor Q)\lor R=P\lor (Q\lor R)=P\lor Q\lor R}$
• neutroa du eta hau "gezurra" da: ${\displaystyle P\lor gezurra=P:P}$ hau diogunean esan nahi dugu P egia bada egia dela eta bestela gezurra
• ${\displaystyle P\lor {\lnot P}}$ egia da beti
• ${\displaystyle P\lor P=P}$

Literatura espezializatuan disjuntzio logikoaren sinbolo matematikoa aldatzen da. edo erabiltzeaz gain, normalean v (V) formako sinboloa erabiltzen da. Adibidez a ∨ b a edo b esan nahi du.

Ondorengo adierazpen guztiak disyuntzioak dira:

a ∨ b

¬a ∨ b

a ∨ ¬b ∨ ¬c ∨ d ∨ ¬e

Multzoen teoriako nozio baliokidea multzoen bildura da.