用于数字逻辑原理中计算布尔函数的列表化简法，就是Q-M法，这个很实用，化简做得很好。-Used in digital logic theory to calculate the list of Boolean function simplification method is the QM method, which is a very practical and simplify doing very well.