3.2.1.2 逻辑法则的函数处理