程序逻辑-逻辑运算