|
ב[[לוגיקה מתמטית]], '''או''' או '''דיסיונקציה''' הוא [[קשר לוגי]] [[פעולה בינארית|בינארי]], המתאים לשני [[פסוק (לוגיקה)|פסוקים]] או לשתי [[תבנית (דפוס)|תבניות]] פסוק או תבנית שהם[[ערך אמיתייםאמת]] "אמת", כאשר לפחות אחד משני המרכיבים אמיתי. בכך, שונה המשמעות של '"או'" בתחום הלוגיקה מהשימוש היומיומי במונח, בו לעתים די קרובות, הכוונה היא לשלול את האפשרות שהטענותשה[[טענה|טענות]] יהיו שתיהן נכונות ותקפות בו-זמנית. (המשפט הבא, מהספר "שמשות שחורות", ממחיש את השימוש היומיומי ואת ההבדל בינו ובין השימוש בלוגיקה: "הייתי הנוסע האחרון שלו, כבר היה מאוחר וייתכן שהיה עייף או משועמם, או גם עייף וגם משועמם"{{הערה|גבי בן אברהם, '''שמשות שחורות''', הוצאת גוונים, 2011, הסיפור "כספומט"}} -– בלוגיקה, הסיום "או גם עייף וגם משועמם" מיותר). '"או'" כזה, שאינו מתקיים כאשר שתי הטענות נכונות, נקרא בלוגיקה "'''או בררני'''" או "[[או מוציא|'''או מוציא''']]" (XOR). בלשוןב[[ז'רגון|לשון]] ה[[משפטים|משפטית]], המונח המקביל ל"או" בלוגיקה הוא "[[ו/או]]", ונקרא "'''או כוללני'''".
הסימוןה[[סימון מתמטי|סימון]] המקובל בלוגיקה לקשר זה הוא <math>A \or B</math>, כאשר <math>A</math> ו- <math>B</math> מסמנים את הפסוקים/תבניות הבסיסיים.
ב[[לוגיקה בוליאנית]], הקשר מיוצג באמצעות ה[[פעולה בוליאנית|פעולה הבוליאנית]] "'''OR'''", שתוצאתה "אמת" (true), כאשר לפחות אחד מהאופרנדיםמה[[אופרנד|אופרנדים]] שלה הוא בעל ערך אמת "אמת". הסימון של "or" באלגברהב[[אלגברה בוליאנית]] הוא <math>a + b = f</math>, כאשר <math>a</math> ו-<math>b</math> הם הכניסות ו-<math>f</math> הוא התוצאה.
[[טבלת אמת|טבלת האמת]] של OR:
==שער לוגי==
[[תמונה:Gate2.gif|שמאל|ממוזער|373px|המחשת [[כללי דה מורגן]] על [[שער לוגי|שערים לוגיים]] בסיסיים. {{ש}}בשורה השנייה מתואר שער OR ("או") - והמקביל לו לפי כללי דה מורגן.]]
ב[[אלקטרוניקה]] [[דיגיטלי|ספרתית]], פעולות בוליאניות מיוצגות באמצעות [[שער לוגי|שערים לוגיים]]. שער לוגי הוא [[מעגל חשמלי]], שמתוכנן כך שיפיק תוצאות רצויות ביציאה, עבור כניסות ידועות מראש. שער לוגי מסוג "OR" יפיק מתח חשמלי המייצג "[[ערך אמת|1]]" לוגי, כאשר יש [[מתח חשמלי|מתח]] המייצג "1" לוגי בכניסה אחת של השער או יותר.
==שפות תכנות==
במרבית [[שפת תכנות|שפות התכנות]] קיים [[אופרטור (תכנות)|אופרטור]] למימוש OR לוגי בביטוייםב[[אלגברה בוליאנית (מבנה אלגברי)|ביטויים לוגיים]], המשמשים ב[[פקודת IF]] וב[[פקודת השמה]]. הצורות המקובלות לכתיבת אופרטור זה:
* '''OR''': בשפות [[COBOL]], [[Visual Basic]], [[פייתון]]
* '''|''': בשפת [[PL/I]], ובשפת C וצאצאיותיה, בביטויים המבצעים מניפולציות על ביטים[[סיבית|סיביות]]
* '''||''': בשפת [[C (שפת תכנות)|C]] ובשפות הנובעות ממנה
* ''';''' בשפת [[פרולוג (שפת תכנות)|פרולוג]]
| 