6.7 逻辑函数