我们熟悉的逻辑函数化简方法是卡诺图法。卡诺图法具有简单、直观的优点，但当变量数目达到或超过5个以后，卡诺图将变得很复杂，甚至无法使用。而列表法对于解决多变量逻辑函数化简具有显著的优越性，并且这种方法有严格规则和步骤，便于计算机操作。列表法最早由Quine和Mcluskey提出，因此该法又称为Q-M法。许多数字电路课本上给出了便于手工计算的列表法，但并没有给出实际利用计算机语言实现的方法。-We are familiar with the logic function is the K-map S