逻辑函数(布尔代数)运算规则