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

• an operation that follows the rules of symbolic logic