逻辑代数与普通代数相似的定理有（）、（）和（）。