论文部分内容阅读
该文提出和区分了对偶算子（也即非号）的第一移位律和第二移位律。第一移位律实际上指对偶原理，它是一个普遍的逻辑规律；第二移位律是适用于仅包含同或和异或两种运算的布尔代数表达式，这种表达式称为同或异或表达式。文中还讨论了布尔代数的运算规律和运算次序。布尔代数的运算次序应是：括号、非、同或／异或、与、或。简单列举法是证明布尔代数恒等式的简便方法。