F=ABCH ABC+ABC+ABCH ABC 逻辑相邻XABC+ABC=BC 逻辑相邻的项可以 合并,消去一个因子 Y。O (1-19)（1-19） F = ABC + ABC + ABC + ABC + ABC 逻辑相邻 ABC + ABC = BC 逻辑相邻的项可以 合并，消去一个因子