检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]湘潭大学数学系
出 处:《湘潭大学自然科学学报》1996年第4期20-23,共4页Natural Science Journal of Xiangtan University
摘 要:设F=ayP'+a1P1+...+amPm是非冗余析取范式,文字y可消等价于文字y在月F='ayP'+alp1+...+atPt中可消,这里a≤min{a1,...,a1},P1,...,PT不含文字y.Suppose that F = ayp' + a_1p_1 + ...+ am_p_m is a disjunctive normal from, and inredundent, liferal y is eliminated if and only if is eliminated' in the following reprosention: F'=ayp' +a_1p_1 + ... +a_tp_t, where a≤min {a_1, ...,a_t }, The terms p_1,..., p_t don't include literaly.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.234