禁止使用boolean=?时，如何用and/or/not运算符实现等效功能？

核心逻辑 #

boolean=?的作用是判断两个布尔输入是否完全相等，两个布尔值相等仅存在两种场景：

• 两个值同时为真
• 两个值同时为假

具体实现 #

仅用and/or/not三个运算符即可复现该逻辑，假设两个输入布尔值为a和b，替换写法为：
(or (and a b) (and (not a) (not b)))

验证逻辑 #

可以代入所有可能的布尔输入组合验证正确性：

1. 输入a为真、b为真：(or (and #t #t) (and #f #f)) 结果为真，符合相等判断
2. 输入a为真、b为假：(or (and #t #f) (and #f #t)) 结果为假，符合不等判断
3. 输入a为假、b为真：(or (and #f #t) (and #t #f)) 结果为假，符合不等判断
4. 输入a为假、b为假：(or (and #f #f) (and #t #t)) 结果为真，符合相等判断

封装为自定义函数 #

如果需要频繁调用，可以封装为独立函数使用：

(define (my-boolean=? a b)
  (or (and a b)
      (and (not a) (not b))))

内容的提问来源于stack exchange，提问作者DerangedClock