>>221
主乗法
¬A・B + B・C + C・¬A
=B・(¬A+C) + C・¬A
=(C+B・(¬A+C))・(¬A + B・(¬A+C))
=(C+B)・(¬A+C)・(¬A+B)・(¬A+C)
=(C+B)・(¬A+C)・(¬A+B)
=(A+B+C)・(¬A+B+C)・(¬A+B+C)・(¬A+¬B+C)・(¬A+B+C)・(¬A+B+¬C)
=(A+B+C)・(¬A+B+C)・(¬A+¬B+C)・(¬A+B+¬C)