Logical Expressions Automated Derivation Arithmetic of Based on the Extended Generalized List

• 一种利用扩展广义表来实现逻辑表达式自动推导的算法