7.2 逻辑函数