9.4 常用逻辑函数