摘要
文章介绍了离散数学中数理逻辑问题与命题公式的转换,并详细解释命题公式的主析取范式与主合取范式求解过程,联系其与计算机编程的关系。最后,通过具体的例题,给出了求解主析取(合取)范式的具体步骤和编程测试结果。以此说明了主析取(合取)范式在解决数理逻辑问题中的具体用法,也证明了用编程代码实现自动化求解的可行性。
出处
《电脑知识与技术》
2023年第16期55-57,共3页
Computer Knowledge and Technology
基金
云南省教育厅科学研究基金项目《离散数学中数理逻辑、集合论、图论相关推演的计算机程序化研究与实现》(项目编号:2023J1405)。