布尔代数的析取范式定理的证明 |
| |
引用本文: | 罗光烈.布尔代数的析取范式定理的证明[J].湖北大学学报(自然科学版),1980(1). |
| |
作者姓名: | 罗光烈 |
| |
作者单位: | 武汉师范学院数学系 |
| |
摘 要: | 析取范式定理,任一n元函数f(A_1,A_2,…,A_n)都可表示为,而且这种析取式表示法是唯一的。 证.把任意一个最小项(A_1~(±1)·A_2~(±1)·…·A_n~(±1))_i与值组(δ_1,δ_2;…,δ_n)_j作如下的对应:当A_i~(±1)为A_i时δ_i为1,当A_i~(±1)为时δ_i为0,(1≤i≤n)满足这样的对应条件
|
本文献已被 CNKI 等数据库收录! |
|