摘要：本文提出了一种由前束析（合）取范式求前束合（析）取范式的简单方法。该方法根据谓词逻辑自身的特点，结合命题逻辑中命题公式的主析取范式和主合取范式的互补关系，将前束析（合）取范式转化为主析（合）取范式，再得出相应的主合（析）取范式，最后准确地得出前束合（析）取范式。

关键词：数理逻辑 谓词逻辑 范式 前束范式 

单位：山东科技大学信息科学与工程学院 山东青岛266510