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