逻辑代数中有个常用公式是A+A'B=A+B,
则F=(A+B')C+A'B=(A'B)'C+(A'B)=(A'B)+(A'B)'C=A'B+C