The Computer Implementation of the Propositional Logic Equivalent Calculation

• 命题逻辑等值演算的计算机实现