对偶算子的第一移位律与第二移位律和布尔代数的运算规律

摘要

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