摘要
证明了布尔代数等价于一个只有二元部分运算的代数系统。
In this paper, we prove that a Boolean algebra is equivalent to an algebraic system with a single binary partial operation.
出处
《台州学院学报》
2009年第3期15-18,共4页
Journal of Taizhou University
关键词
布尔代数
部分运算
等价
Boolean algebra
partial operation
Equivalent