8.2 逻辑函数