本程序实现了对命题逻辑公式应用归结反演策略自动推理。程序结构简单,便于初学者理解人工智能的归结原理.-This procedure has attributed to the propositional logic inversion strategy for Automated Reasoning. Program structure is simple, easy for beginners to understand summarized the principles of artific