逻辑函数的计算机辅助卡诺图化简

利用Ｃ语言的运算，在不知道化简公式的情况下，当已知逻辑函数。