disjunction

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

בלוגיקה מתמטית, או או דיסיונקציה הוא קשר לוגי בינארי המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית שהם אמיתיים כאשר לפחות אחד משני המרכיבים אמיתי. בכך שונה המשמעות של 'או' בתחום הלוגיקה מהשימוש היומיומי במונח, השולל את האפשרות שהטענות יהיו שתיהן נכונות ('נלך לסרט או למסעדה' שולל את האפשרות של הליכה לסרט ולמסעדה גם יחד). 'או' כזה, שאינו מתקיים כאשר שתי הטענות נכונות, נקרא בלוגיקה או מוציא (XOR). הסימון המקובל בלוגיקה לקשר זה הוא כאשר A ו- B מסמנים את הפסוקים/תבניות הבסיסיים.בלוגיקה בוליאנית, הקשר מיוצג באמצעות הפעולה הבוליאנית OR, שתוצאתה "אמת" (true) כאשר לפחות אחד מהאופרנדים שלה הוא "אמת". הסימון של or באלגברה בוליאנית הוא a+b=f כאשר a ו-b הם הכניסות ו-f הוא התוצאה.
להמשך המאמר ראה Wikipedia.org...