XOR in Racket, я не понимаю, как это работает

Question

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

Как это работает? Я не понимаю, что

Answer 1

Давайте посмотрим на xor «s 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