Q-M法化简布尔表达式的C++实现,可以处理无关项。化简结果以最小项的和的形式输出,按A,B,...等大写字母从高到低依次表示输入变量。若有多种化简结果,程序会输出所有的化简结果。