Boolean代数与减法代数

Boolean algebra and subtraction algebra

根据集合代数的研究引入了减法代数的概念．证明了任一Ｂｏｏｌｅａｎ代数等价于一个具有一个二元代数运算，且仅可由四个方程式定义的减法代数系统〈Ｘ；－，０，１〉

In view of the study of the set algebra,a new algebra system, which is called the subtraction algebra is introduced. It is proved that any Boolean algebra is equivalent to subtraction algebra system 〈X; -,0,1〉which has only one binary operation and is defined only by four identities.