6.3.3 逻辑函数