an operation that follows the rules of symbolic logic

• 依据数理逻辑法则进行的运算