異或在球拍，我不明白它是如何工作的

Question

(define xor 
    (lambda (x y) 
    (if (boolean=? x y) 
     #f 
     #t))) 

它是如何工作的？ 我不明白，

Answer 1

讓我們來看看xor的truth table：

x xor y 
T F T    ; x and y are both true, x xor y is false 
T T F    ; x and y are different, x xor y is true 
F T T    ; x and y are different, x xor y is true 
F F F    ; x and y are both false, x xor y is false 

換句話說：如果兩個x和y相等，則xor是假的。但如果x和y不同，那麼xor爲真。而這也正是這個計劃的代碼這樣說：

(if (boolean=? x y) ; are x and y equal? 
    #f    ; then xor is false 
    #t)    ; otherwise xor is true