6.1 逻辑判断函数