一类逻辑方程组的解法研究

• 作者: 丁殿坤 陈贵磊
• 来源期刊: 浙江大学学报（理学版）
• 学科: 数学
• 关键词: 非0非1型 充分必要条件 逻辑方程组 解集
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 245-247
• 分类号: O141
• 语种: 中文
• DOI: 10.3785/j.issn.1008-9497.2011.03.001

摘要

为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1+X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3+X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁殿坤	山东科技大学基础课部	47	109	5.0	9.0
2	陈贵磊	山东科技大学基础课部	13	53	4.0	7.0