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

ב[[לוגיקה מתמטית]], '''או''' או '''דיסיונקציה''' הוא [[קשר לוגי]] [[פעולה בינארית|בינארי]] המתאים לשני [[פסוק (לוגיקה)|פסוקים]] או לשתי [[תבנית (דפוס)|תבניות]] פסוק או תבנית שהם אמיתיים כאשר לפחות אחד משני המרכיבים אמיתי. בכך שונה המשמעות של 'או' בתחום הלוגיקה מהשימוש היומיומי במונח, השולל את האפשרות שהטענות יהיו שתיהן נכונות ('נלך לסרט או למסעדה' שולל את האפשרות של הליכה לסרט ולמסעדה גם יחד). 'או' כזה, שאינו מתקיים כאשר שתי הטענות נכונות, נקרא בלוגיקה [[או מוציא]] (XOR). <BR>