(A+B)+C==A+(B+C)

True

k=5

k*(A+B)==k*A+k*B

True

A*(B+C)==A*B+A*C

True

A*B==B*A

False