|
|
|
ב[[אלגברה בוליאנית]], '''או מוציא''', – '''XOR''' (לפי [[האקדמיה ללשון העברית|האקדמיה]], מבוטא: "אֶקְסוֹר"; אך בפי רוב, מקוצר לעתים קרובות ל"קְסוֹר") או '''eXclusive OR''' היא [[פעולה בוליאנית]], אשר תוצאתה "אמת" כאשר אחד ה[[אופרנד|אופרנדים]] שלה, ורק אחד מהם, הוא "אמת". פעולה זו היא מקרה פרטי של הפעולה [[הפרש סימטרי]] בקבוצה <math>\ \{0,1\}</math>. כאשר האופרטור מורחב למספר אופרנדים גדול משניים, הוא יחזיר אמת כאשר למספר [[אי-זוגי]] של אופרנדים יש ערך אמת. האופרטור הוא [[פעולה קומוטטיבית|קומוטטיבי]] ("חילופי") ו[[פעולה אסוציאטיבית|אסוציאטיבי]] ("קיבוצי").
או מוציא הוא פעולה המשקפת את המשמעות השכיחה של המילה "או" בחיי היומיום, בשונה המשמעות של '[[או (לוגיקה)|או]]' בלוגיקה. כאשר אדם אומר לרעהו "אחזיר לך את הספר מחר או מחרתיים", הוא מתכוון שיעשה זאת באחד משני המועדים, אך לא בשניהם.
|
