我们的数电老师提出的编程题！！请高手进来看一看！！

这学期开了数字电子技术，学到逻辑函数的化简的时候需要将一个逻辑函数化简为最简形式，
比如：_ _  _ __
    Y=ABC+AC+BC
可以化简为            __
    _ _    _ _  _  _  _  _ _
  Y=ABC+(A+B)C=(AB)C+(AB)C=C
算法是否考虑卡络图？
现在用程序来实现化任意逻辑函数为最简形式，我是菜鸟，今天从中午到现在没出门也没能编出来，请高手帮忙，最好给出程序！！！
我300分全给他！