כל מה שרצית לדעת על או (לוגיקה):
בלוגיקה מתמטית, אוֹ או דִּיסְיוּנְקְצְיָה הוא קשר לוגי בינארי, המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית ערך אמת, כאשר לפחות אחד משני המרכיבים אמיתי.
בכך, שונה המשמעות של "או" בתחום הלוגיקה מהשימוש היומיומי במונח, בו לעיתים די קרובות, הכוונה היא לשלול את האפשרות שהטענות יהיו שתיהן נכונות ותקפות בו-זמנית.
(המשפט הבא, מהספר "שמשות שחורות", ממחיש את השימוש היומיומי ואת ההבדל בינו ובין השימוש בלוגיקה: "הייתי הנוסע האחרון שלו, כבר היה מאוחר וייתכן שהיה עייף או משועמם, או גם עייף וגם משועמם" – בלוגיקה, הסיום "או גם עייף וגם משועמם" מיותר).
"או" כזה, שאינו מתקיים כאשר שתי הטענות נכונות, נקרא בלוגיקה "או בררני" או "או מוציא" (XOR).
כדי להבדיל ממנו, "או" של הלוגיקה נקרא לעיתים "או כוללני".
בלשון המשפטית, המונח המקביל הוא "ו/או".
הסימון המקובל בלוגיקה לקשר זה הוא A ∨ B {\displaystyle A\lor B} , כאשר A {\displaystyle A} ו- B {\displaystyle B} מסמנים את הפסוקים/תבניות הבסיסיים.
בלוגיקה בוליאנית, הקשר מיוצג באמצעות הפעולה הבוליאנית "OR", שתוצאתה "אמת" (true), כאשר לפחות אחד מהאופרנדים שלה הוא בעל ערך אמת "אמת".
הסימון של "or" באלגברה בוליאנית הוא a + b = f {\displaystyle a+b=f} , כאשר a {\displaystyle a} ו- b {\displaystyle b} הם הכניסות ו- f {\displaystyle f} הוא התוצאה.
טבלת האמת של OR:קלטיםתוצאה000101011111
נלקח מויקיפדיה

הגדרות נוספות הקשורות לאו (לוגיקה):
•לוגיקה בוליאנית
•לוגיקה מתמטית
•מעגלים ספרתיים
•תכנות
•פעולות בינאריות