1957

摘要： 逻辑表达式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 阅读全文