3.7 逻辑函数