Section 4.3 逻辑函数