12.5.1 回顾逻辑函数