This paper has comprehensively and systematic ally summed up the provable methods of equivalence of logical identities on the basis of expounding various provable methods and illustrating, the provable steps of logical identities by means of various examples.
全面系统地总结了逻辑恒等式的证明方法 ,在阐明各种证法的思想、方法的基础上 ,用形式多样的例子说明了逻辑恒等式的证明步骤 ,并简要的介绍了一些方法的使用技巧。