lambda演算表示逻辑运算符