## Boolean matrices theorem help

How can I prove the following theorem?

If A B and C are Boolean matrices of compatible sizes:

A V (B ^ C) = (A V B) ^ (A V C)
and
A ^ (B V C) = (A ^ B) V (A ^ C)

Any help is appreciated, thanks