论文部分内容阅读
通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式。
由合取范式求主析取范式的一种新方法
【摘 要】
：
通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式。
【机 构】
：
运城学院应用数学系
【出 处】
：
运城学院学报
【发表日期】
：
2010年5期
【基金项目】
：
基金项目：山西省教育科学十一五规划项目（NOGH-09070）,运城学院重点课程建设项目（No.0612108A）,运城学院科研项目（2009003）
其他文献
<正> 国务院副总理姜春云在山东省视察农村工作时指出:要进一步落实党和国家对农村的基本政策,调动、保护农民的积极性。家庭联产承包为主的责任制、统分结合的双层经营体制,
以‘寒优湘晴’为材料,研究后期不同肥料运筹对其生长和产量的影响。结果表明：施穗肥能促进‘寒优湘晴＇植株生长,有利于干物质积累,显著提高产量;不施长粗肥的产量最高;只施长
<正> 盐池县地处古长城脚下毛乌素沙漠前沿,土层薄,肥力差,水源不足,限制了灌溉面积的扩大,再加上近几年连续大旱,粮食产量低而不稳。1974年他们在城郊公社四墩子大队进行了
期刊