לדלג לתוכן

XOR: הבדלים בין גרסאות

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