Multi-value logical reasoning method for transformation to signed clauses

• 转换成带符号子句的多值逻辑推理方法