או (לוגיקה) – הבדלי גרסאות

ב[[לוגיקה מתמטית]], '''אוֹ''' או '''דִּיסְיוּנְקְצְיָה''' הוא [[קשר לוגי]] [[פעולה בינארית|בינארי]], המתאים לשני [[פסוק (לוגיקה)|פסוקים]] או לשתי [[תבנית (דפוס)|תבניות]] פסוק או תבנית [[ערך אמת]], כאשר לפחות אחד משני המרכיבים אמיתי. בכך, שונה המשמעות של "או" בתחום הלוגיקה מהשימוש היומיומי במונח, בו לעיתים די קרובות, הכוונה היא לשלול את האפשרות שה[[טענה|טענות]] יהיו שתיהן נכונות ותקפות בו-זמנית. (המשפט הבא, מהספר "שמשות שחורות", ממחיש את השימוש היומיומי ואת ההבדל בינו ובין השימוש בלוגיקה: "הייתי הנוסע האחרון שלו, כבר היה מאוחר וייתכן שהיה עייף או משועמם, או גם עייף וגם משועמם"{{הערה|גבי בן אברהם, '''שמשות שחורות''', הוצאת גוונים, 2011, הסיפור "כספומט"}} – בלוגיקה, הסיום "או גם עייף וגם משועמם" מיותר). "או" כזה, שאינו מתקיים כאשר שתי הטענות נכונות, נקרא בלוגיקה "'''או בררני'''" או "'''[[או מוציא]]'''" ('''XOR'''). כדי להבדיל ממנו, "או" של הלוגיקה נקרא לעיתים "'''או כוללני'''". ב[[ז'רגון|לשון]] ה[[משפטים|משפטית]], המונח המקביל הוא "[[ו/או]]".

 

 

ב[[לוגיקה בוליאנית]], הקשר מיוצג באמצעות ה[[פעולה בוליאנית|פעולה הבוליאנית]] "'''OR'''", שתוצאתה "אמת" (true), כאשר לפחות אחד מה[[אופרנד|אופרנדים]] שלה הוא בעל ערך אמת "אמת". הסימון של "or" ב[[אלגברה בוליאנית]] הוא <math>a + b = f</math>, כאשר <math>a</math> ו-<math>b</math> הם הכניסות ו-<math>f</math> הוא התוצאה.