摘要：
逻辑表达式let true = \a.\b.alet false = \a.\b.blet not = \x.x false truelet and = \x.\y. x y falselet or = \x.\y. x true ylet xor = \x.\y.x (not y) y 阅读全文
posted @ 2012-09-05 09:29 1957 阅读(184) 评论(0) 推荐(0)
|
|||
|
摘要：
逻辑表达式let true = \a.\b.alet false = \a.\b.blet not = \x.x false truelet and = \x.\y. x y falselet or = \x.\y. x true ylet xor = \x.\y.x (not y) y 阅读全文
posted @ 2012-09-05 09:29 1957 阅读(184) 评论(0) 推荐(0) |
|||
浙公网安备 33010602011771号