是不对的，比如A=B=1，那么等式还是成立的，但AB=1。
如果是逻辑，那就是错的，如果是算数那就是对的
从计算机方面来说 AB=0是永远为假
对布尔代数结构来说，消去律是不成立的。
又不是数学加减，逻辑上是与或
