关于范式求法解析

摘要：

离散数学中,主合取范式的目的在于讨论公式的主合取范式.该文中对主合取范式求解方法进一步推广,共给出4种求解方法.真值表法、推演法、用真值表法求的主合取范式、用推演法求的主析取范式等4种方法.

关键词：主范式、推演、方法

分类号：G64(高等教育)

在线出版日期：2013-06-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共1页

页码：256