3 . 5 . 1 הפעולה XOR או מוציא ( XOR ) " היא פעולת OR מיוחדת . הפעולה XOR בין Q- > P מסומנת . P © g : "p תחילה נדגים את משמעות פעולה זו בעזרת תחשיב פסוקים . לשם כך נסמן באות P את הפסוק "אני נמצא כרגע בתל-אביב , " ובאות Q נסמן את הפסוק "אני נמצא בירושלים P ® Q . ' משמעותו "אני נמצא בתל-אביב או בירושלים" ( אך לא בשני המקומות . ( טבלת האמת של הפעולה XOR מתוארת בטבלה . 3 . 11 שאלה 3 . 13 הוכיחו באמצעות טבלת אמת את הזהות - XOR קיצור של exclusive OR
אל הספר