逻辑公式中的消去公式:AB+^AC+BC=AB+^AC的推导方法或者该如何证明?