逻辑证明论文

一类Boole方程解集代数系统性质的探讨
论文摘要给出了一类Boole方程F=G的解集S关于逻辑加、逻辑乘、逻辑非运算可构成Boole代数系统的结论,又给出了Boole代数系统（S,+,·,-）与Boole代数系统（B...