论文部分内容阅读
文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求(』)A,A ∨ B,A∧B,A→B,A(→)B的主范式的公式,由此可用程序化的方法求任意公式的主范式.
主范式的运算性质
【摘 要】
：
文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求(』)A,A ∨ B,A∧B,A→B,A(→)B的主范式的公式,由此可用程序化的方法求任意公式的主范式.
【机 构】
：
牡丹江师范学院数学系
【出 处】
：
牡丹江师范学院学报：自然科学版
【发表日期】
：
2002年3期
其他文献
蔗糖与L-精氨酸缩合反应属美拉德反应的一种,能形成褐色的"类黑色素".本实验产物用GCMS分析仪进行表征,得到了食品着色致香物质.
高核银簇由于其结构的多样性和潜在的应用价值受到越来越多的关注。但是由于自组装的不可预测性,合成具有特殊功能性的高核银簇仍是一项巨大的挑战。综述了近年来本课题组在
磷酸盐是一类重要的多功能晶体材料,在催化、光致发光、气体储存和分离等方面具有广阔的应用前景。近年来,许多磷酸盐化合物及其衍生物开始用于质子传导材料方面的研究。对质
从我省体育教师知识结构现状的调查入手,着重分析了新形式下,中学体育教师知识结构的不合理及存在的矛盾,提出了中学体育教师继续教育的目标模式.
中国古籍丛书是了解中国传统文化的一个窗口,而对它的研究至今仍是一个薄弱环节。丛书作为信息密集的文献集合体,如何从外表特征和内容特征来识别并合理利用,这确是一个值得