作者：韦宁; 王恩亮; 郁国瑞极小项主析取范式真值表推演法
摘要：求主析取范式包括真值表法、推演法以及用真值表法求( )G的主析取范式、用推演法求G的主合取范式等四种方法.用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求┐G的主析取范式的定理.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《华北理工大学学报·自然科学版》（CN：13-1419/N）是一本有较高学术价值的大型季刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《华北理工大学学报·自然科学版》为社会科学理论刊物，以理论结合实际为特色坚持学术质量标准。本刊编排格式严格遵守现行的国家有关标准化、规范化规定望作者能严格执行。
杂志详情
