排序方式: 共有33条查询结果,搜索用时 15 毫秒
31.
张会凌 《甘肃联合大学学报(自然科学版)》2006,20(5):49-52
在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出. 相似文献
32.
析取范式的极小表示是命题逻辑和计算机科学理论中的一个重要问题.本文研究了在若干极小标准下的蕴涵和析取范式表示的一些性质,并阐述了极小蕴涵和极小析取范式表示在模型检测中的应用. 相似文献
33.
数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从归纳于逻辑联结词的个数和归纳于命题的个数两个方面,给出了析取范式与合取范式的存在性证明. 相似文献