求证A∧(B∨C) = (A∧B)∨(A∧C)