|
|||||
|
|
| 布尔逻辑的代数表示及其应用研究 | |
| 引用本文： | 陈湘,黄宇.布尔逻辑的代数表示及其应用研究[J].计算机时代,2007(12):7-8,24. |
| 作者姓名： | 陈湘 黄宇 |
| 作者单位： | 1. 华中科技大学计算机学院,湖北,武汉,430074;湖南文理学院 2. 华中科技大学计算机学院,湖北,武汉,430074 |
| 基金项目： | 湖南省教育厅科研项目 , 湖南文理学院校科研和教改项目 |
| 摘 要： | 目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具.文章提出了一种系统化的布尔逻辑的代数表示方法,其基本思想是把布尔集合用一组多项式来表示,在此基础上定义完备的逻辑运算符集.文章对该方法在可满足性问题(SAT)求解和测试模式自动生成(ATPG)中的应用进行了讨论. |
| 关 键 词： | 布尔逻辑 多项式 代数簇 可满足性问题 测试模式自动生成 布尔逻辑 代数表示 应用 ATPG 模式自动生成 测试 求解 可满足性问题 表示方法 逻辑运算符 多项式 思想 系统 思维规律 人类 研究 理论 计算机科学 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |