4.2.3 逻辑函数