4.5.3 逻辑函数