On the basis of the comprehensive study of various visualization methods and principles of resolution refutation, the visual system for resolution refutation was realized in the paper.

• 论文工作是在综合研究各种可视化方法和归结原理的基础上,实现了归结反演可视化系统。