作者:丁殿坤; 吕端良解集boole代数系统同态同构逻辑证明
摘要:给出了一类Boole方程F=G的解集S关于逻辑加、逻辑乘、逻辑非运算可构成Boole代数系统的结论,又给出了Boole代数系统(S,+,·,-)与Boole代数系统(B,+,·,-)同态,进而得到了(S,+,·,-)与(B,+,·,-)同构的性质,并给予逻辑证明,也举例说明了两个代数系统同态、同构应具备的条件,从而更加完善了Boole代数系统理论.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《大学数学》(CN:34-1221/O1)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《大学数学》是全国性以教学为主的数学刊物。读者对象是各类大专院校师生,数学工作者,有关科技人员及其他数学爱好者。
统计源期刊
人气 137501 评论 46
省级期刊
人气 102902 评论 63
人气 84560 评论 61
人气 80075 评论 65