排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
命题公式主范式在数理逻辑中有重要作用,其方法论也颇具价值。针对解决求主析取范式的传统方法比较繁琐的情况,通过对极小项下标特征的讨论,利用二进制给出了由命题公式的析取范式确定主析范式中的二进制求法,从而简化了由繁杂的命题公式推演或真值表计算求主析取范式的计算过程,给出了求命题公式主析取范式的简便求法——表格法。该法稍做变动后,对求主合析取范式同样适用。 相似文献
2.
1