| 布尔逻辑公式中文字和小项的可消性 |
| |
| 引用本文： | 徐扬 邹开其. 布尔逻辑公式中文字和小项的可消性[J]. 西南交通大学学报, 1990, 0(1): 107-112 |
| |
| 作者姓名： | 徐扬 邹开其 |
| |
| 摘 要： | 本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件，为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。
|
| 关 键 词： | 布尔逻辑公式 析取范式 布尔恒真 可消性 中文字 小项 |
Reducibility of Literals and Minterms of Boolean Logic Formulas |
| |
| Xu Yang,Zou Kaiqi. Reducibility of Literals and Minterms of Boolean Logic Formulas[J]. Journal of Southwest Jiaotong University, 1990, 0(1): 107-112 |
| |
| Authors: | Xu Yang Zou Kaiqi |
| |
| Affiliation: | Xu Yang;Zou Kaiqi |
| |
| Abstract: | Some equivalent conditions of canceling literals and minterms of Boolean logic formulas are given. These conditions serve as the theoretical foundation of a new method for simplifying the formulas. |
| |
| Keywords: | Boolean logic formula disjunctive normal form Boolean tautology reducibility |
| 本文献已被 CNKI 维普 等数据库收录！ |
