用真值表证明公式A+BC=(A+B)(A+C)