节点文献

单调布尔函数的MSOPE

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 刘永才；

【机构】 上海科学技术大学；

【摘要】 <正> 对于单调布尔函数,在文[1]中给出了一类范式——单调析取范式(MDNF),这类范式的构造是先找出单调质蕴含,所有单调质蕴含的和就是MDNF,质蕴含往往是由Q-M方法

【关键词】 布尔函数； MSOPE； 析取范式； 构造算法； 变元； BASIC； 积之；
  • 【文献出处】 自然杂志 ,Nature Magazine , 编辑部邮箱 ,1985年01期
  • 【下载频次】36
打印本页
节点文献中：