逻辑运算时逻辑变量需先通过某种规则转换为逻辑常量