可以直接用，推倒过程A'C+AB'+B'C=A'C+AB'+B'C(A+A')=A'C+AB'+AB'C+A'B'C=(A'C+A'B'C)+(AB'+AB'C)=A'C(1+B')+AB'(1+C')=A'C+AB'
