ABC是函数式Y=A’C+BC中的一个最小项。