או (דיסיונקציה) OR - קשר לוגי היוצר פסוק חדש משני םסוקים. קיימים שני קשרי "או" "או כולל" ו "או מוציא" מסומנים OR ו XOR בהתאמה.
נסמן שני פסוקים : A ו-B,
דיסיונקציה (או כולל) שלהם : (A או B) תהא אמת או שקר בהתאם לטבלת האמת הבאה :

A=FALSE B=FALSE (A OR B) = FALSE
A=FALSE B=TRUE (A OR B) = TRUE
A=TRUE B=FALSE (A OR B) = TRUE
A=TRUE B=TRUE (A OR B) = TRUE
ערך אמת אם לפחות אחד הפסוקים אמת.
הקשר "או" מוציא XOR ( או אקסקלוסיבי), מקבל ערך אמת רק אם אחד הפסוקים אמת, אם שניהם אמת אזי או אקסקלוסיבי מקבל ערך שקר.