【摘要】 针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用。更多还原

【Abstract】 Traditional calculation methods of special normal forms are complex in mathematical logic.By using characterizations of the relationship of minterm forms(or maximum forms) and the binary,summarizing all kinds of traditional calculation methods,the concise and practical ways are given to calculate special normal forms.Meanwhile,the important roles of special normal forms are systematically discussed.更多还原