F-ABC+ABC+ABC+ ABC+ABC 逻辑相邻)(ABC+ABC=BC 逻辑相邻的项可以 合并,消去一个因子 长。O11 F = ABC+ ABC+ ABC+ ABC+ ABC 逻辑相邻 ABC+ ABC = BC 逻辑相邻的项可以 合并，消去一个因子