排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
丁左流 《上海师范大学学报(自然科学版)》1996,(2)
证明对于任一正交基函数g,广义布尔函数具有商群性质,并提出同态核的构造,从而得到广义布尔函数的一种生成方法. 相似文献
2.
丁左流 《上海师范大学学报(自然科学版)》1995,(1)
本文给出了T.Sasao关于布尔函数多值分解的一些例子,讨论了任意函数,对称函数和奇偶函数的PLA实现过程. 相似文献
3.
丁左流 《上海师范大学学报(自然科学版)》1994,(2)
本文以具有代表性的McCabe,Prather和Z-W三种方法为例,计算和分析了循环语句中for-do结构的程序复杂度,并纠正了关于Z-W表达式方法中不严格的计算公式. 相似文献
4.
1