一类Boole方程解集代数系统性质的探讨

• 作者: 丁殿坤 吕端良
• 来源期刊: 大学数学
• 学科: 数学
• 关键词: 解集 Boole代数系统 同态 同构 逻辑证明
• 年，卷（期）: 2019,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 20-22
• 页数: 3页
• 分类号: O141
• 字数: 2236字
• 语种: 中文

摘要

给出了一类Boole方程F=G的解集S关于逻辑加、逻辑乘、逻辑非运算可构成Boole代数系统的结论,又给出了Boole代数系统(S,+,·,-)与Boole代数系统(B,+,·,-)同态,进而得到了(S,+,·,-)与(B,+,·,-)同构的性质,并给予逻辑证明,也举例说明了两个代数系统同态、同构应具备的条件,从而更加完善了Boole代数系统理论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁殿坤	山东科技大学基础课部	47	109	5.0	9.0
2	吕端良	山东科技大学基础课部	19	12	2.0	3.0