单调布尔函数的MSOPE 期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

单调布尔函数的MSOPE

作者姓名：	刘永才

作者单位：	上海科学技术大学

摘要：	对于单调布尔函数,在文[1]中给出了一类范式——单调析取范式(MDNF),这类范式的构造是先找出单调质蕴含,所有单调质蕴含的和就是MDNF,质蕴含往往是由Q-M方法
本文献已被 CNKI 等数据库收录！