או (לוגיקה)
מתוך ויקיפדיה, האנציקלופדיה החופשית
בלוגיקה מתמטית, או או דיסיונקציה הוא קשר לוגי בינארי המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית שהם אמיתיים כאשר לפחות אחד משני המרכיבים אמיתי. בכך שונה המשמעות של 'או' בתחום הלוגיקה מהשימוש היומיומי במונח, השולל את האפשרות שהטענות יהיו שתיהן נכונות ('נלך לסרט או למסעדה' שולל את האפשרות של הליכה לסרט ולמסעדה גם יחד). 'או' כזה, שאינו מתקיים כאשר שתי הטענות נכונות, נקרא בלוגיקה או אקסקלוסיבי (XOR).
הסימון המקובל בלוגיקה לקשר זה הוא 
כאשר A ו- B מסמנים את הפסוקים/תבניות הבסיסיים.
באלגברה בוליאנית, הקשר מיוצג באמצעות הפעולה הבוליאנית OR, שתוצאתה "אמת" (true) כאשר לפחות אחד מהאופרנדים שלה הוא "אמת". הסימון של or באלגברה בוליאנית הוא a+b=f כאשר a ו-b הם הכניסות ו-f הוא התוצאה.
טבלת האמת של OR:
| קלטים | תוצאה | |
| 0 | 0 | 0 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 1 | 1 |
[עריכה] שער לוגי
באלקטרוניקה ספרתית, הפעולה הבוליאנית מיוצגת בידי שער לוגי, שהוא מעגל חשמלי היוצר את התוצאה הרצויה ביציאה. שער or יוציא מתח חשמלי המייצג "1" כאשר בלפחות אחת מן הכניסות יש מתח המייצג "1". להלן ציור של שער זה ושערים לוגיים נוספים:
[עריכה] שפות תכנות
במרבית שפות התכנות קיים קיים אופרטור למימוש OR לוגי בביטויים לוגיים, המשמשים בפקודת IF ובפקודת השמה. הצורות המקובלות לכתיבת אופרטור זה:
- OR: בשפות COBOL, Visual Basic
- |: בשפת PL/I
- ||: בשפת C ובשפות הנובעות ממנה
