או (לוגיקה)

בלוגיקה מתמטית, "או" (דיסיונקציה) הוא קשר לוגי בינארי בין שני פסוקים. פסוק = טענה שניתן לבדוק אם היא אמת או שקר. "או" נכון אם לפחות אחד המרכיבים אמיתי.

בשפה היומיומית לעתים מתכוונים ל"או" כך שרק אחת הטענות יכולה להיות נכונה. סוג כזה נקרא "או בררני" או XOR (קיצוני ל־exclusive OR). ביטוי משפטי מקביל לעתים הוא "ו/או". בדוגמה פשוטה: "היה עייף או משועמם", אנשים פונים לפירוש שונה, אך בלוגיקה אין צורך להוסיף "או גם וגם" אם שני הצדדים יכולים להיות נכונים.

בלוגיקה מסמנים לעתים A ∨ B כדי לתאר את הקשר. באלגברה בוליאנית הפעולה מיוצגת כ־a + b = f, כאשר a ו‑b הן הכניסות ו‑f היא התוצאה. טבלת האמת מראה שהביטוי נכון בכל המקרים שבאחד או בשניהם יש אמת, ורק כששניהם שקרי התוצאה שקר.

בשערים לוגיים אלקטרוניים הפעולה מיושמת כמעגל חשמלי. שער OR מפיק אות המייצגת '1' לוגי אם לפחות כניסה אחת מייצגת '1'.

ברוב שפות התכנות יש אופרטור OR לביטויים לוגיים. משתמשים בו בפקודות כמו IF ובהשמות.

או מחבר שתי אמירות. אמירה = משפט שאפשר לשפוט אם הוא נכון או לא. "או" נכון אם לפחות אחת מהאמירות נכונה.

באנשים לפעמים אומרים "או" כדי להגיד שרק אחת נכונה. בלוגיקה אפשר שגם שתיהן יהיו נכונות יחד.

דוגמה פשוטה: "הוא עייף או משועמם." לא צריך להגיד "או גם וגם" אם אפשר ששניהם יתקיימו.

יש רכיב חשמלי שנקרא שער לוגי. שער OR נותן תוצאה של '1' אם לפחות אחת הכניסות היא '1'.

בתוכנות יש פעולה שנקראת OR. משתמשים בה בבדיקות כמו IF כדי להחליט מה לעשות.