再以二值逻辑的0、1两种状态分别代表变量的两种不同状态，并根据给定的因果关系列出逻辑真值表。于是，这个实际的逻辑问题被

抽象成一个逻辑函数了，而且这个逻辑函数是以真值表形式给出的。 然后根据真值表写出逻辑函数式。在这一步的主要工作为对逻辑函数进行化简和变换，此时采用的方法一般为使用逻辑代数公式，即离散数学中的命题演算公式将命题公式直接进行化简；或者用卡诺图法进行化简；或者同时采用两种方法，互相验证结果是否最简。但在一般情况下，在真值表中变量较多，逻辑函数式较为复杂时，我们采用卡诺图法更为方便快捷，且出错率更低。在得到最简逻辑函数式后，选定器件类型，开始构建实际电路。在对所用器件种类有所限制或使用中规模集成电路构建设计好的电路时，需要把函数式变换为适当的形式。此时，我们将采用命题等值演算对函数式进行变换，变换的结果通常为合取范式和析取范式，以便使用最少的器件和最简单的连线。 2、总结

总之，离散数学无处不在，它的主要应用就是在各种复杂关系中找出最优的方案。所以离散数学完全可以看成是一门量化的关系学，一门量化了的运筹学，一门量化了的管理学。现在我国每一所大学的计算机专业都

开设离散数学课程,正因为离散数学在计算机科学中的重要应用,可以说没有离散数学就没有计算机理论,也就没有计算机科学。所以,应努力学习离散数学,推动离散数学的研究,使它在计算机中有着更为广泛的应用。 参考文献：

【1】离散数学 耿素云、屈婉玲、张立昂编著 清华大学出版社

【2】离散数学及其应用 （美）kenneth h.rosen著袁崇义 屈婉玲 王捍贫 刘田 译

【3】《离散离散数学及其应用》

【4】百度百科“离散数学”词条 傅彦著 学出版社 电子科技大