非0非1型逻辑方程与相关逻辑方程的解集关系及其应用

• 作者: 丁殿坤 王汝亮
• 来源期刊: 浙江大学学报（理学版）
• 学科: 数学
• 关键词: 解集关系 非0非1型 逻辑方程组 证明
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 668-671
• 页数: 4页
• 分类号: O141
• 字数: 481字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-9497.2015.06.006

摘要

给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到:若F+(G)=1和F(G)=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F+G=0和(F)+(G)=0的解集分别为S3、S4,则F=G的解集为S3∪ S4;若F·G=1和(F)·(G)=1的解集分别为55、S6,则F=G的解集为S5 ∪ S6;同时亦得到:若逻辑方程组{F=1 G=1、{F=0 G=0的解集分别为X1、X2,则逻辑方程F=G的解集为X1 ∪X2,应用此结论可解非0型、非1型及相关的逻辑方程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁殿坤	山东科技大学基础课部	47	109	5.0	9.0
2	王汝亮	山东科技大学基础课部	7	5	1.0	2.0