18.1 逻辑函数