lokisapocalypse

Oh and one more thing,

I know that (A n B) n C = A n (B n C)
and that A n (B u C) = (A n B) U (A n C).

I remember those properties from another class I took but I cannot remember what they are called. Can someone tell me this?