4.3.1 逻辑函数