5.1 逻辑函数