TeX source:

A\wedge (B \vee C) = (A\wedge B)\vee (A \wedge C)