一道真值的等式证明A*B+非A*B=(A+非B)*(非A+B).当A假B真时,这个等式成立吗?