节点文献
布尔逻辑的代数表示及其应用研究
【摘要】 目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具。文章提出了一种系统化的布尔逻辑的代数表示方法,其基本思想是把布尔集合用一组多项式来表示,在此基础上定义完备的逻辑运算符集。文章对该方法在可满足性问题(SAT)求解和测试模式自动生成(ATPG)中的应用进行了讨论。
【基金】 湖南省教育厅科研项目(06C607);湖南文理学院教改项目(JGYB0743)
- 【文献出处】 计算机时代 ,Computer Era , 编辑部邮箱 ,2007年12期
- 【分类号】TP301
- 【被引频次】1
- 【下载频次】172