如何解决我如何在λ演算中证明XOR true true = false?
我知道XOR =(a)((b)(false)(true))(b) 但是如何减少[xor true true]并从该表达式中得到错误的结果?
解决方法
您忘记了XOR定义前面的λ。另外,您还必须将true
和false
定义为标准Church布尔值:
true = λab.a
false = λab.b
XOR = λab.a(b false true)b
然后
XOR true true
--> (λab.a(b false true)b) true true
--> true (true false true) true
--> true false true
--> false
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。