9.5 逻辑函数