解析逻辑函数式的处理

Analysis on processing of logic function formula

对数字电路设计中的重要环节--逻辑函数式的处理进行了解析。分逻辑函数式的化简、检查、变换3个方面作了详细探讨,且对每个方面给出了相应的见解,即对逻辑函数式的化简方面提出宜采用先卡诺图法再代数法的综合法;对逻辑函数式的检查方面指出了观察互补出现的因子并检验在特殊条件下是否存在该因子的"互补相与"和"互补相或"的核心要点;对逻辑函数式的变换方面则提出了一种具有普适性的二次取非变换法。同时,对这些见解还给出了相应的例证。

Processing of logic function formula is analyzed, which is an important sector on the design of digital circuit and deal with three aspects,i.e., simplifying,checking and transforming to logic function formula,propose some insights. About the aspect of simplifying to logic function formula,synthesis method that adopt Kano map and Algebraic method in turn is recommended. About the aspect of checking to logic function formula, the key point that is to check whether two forms of ＂complementary logic and＂ and ＂complementary logic or＂ to each factor exist under special conditions in logic function formula is addressed. About the aspect of transforming to logic function formula,a transforming method which main idea is taking＂logic not＂ twice is proposed, this method is generally applicable. In proof of those insights, Some relevant example had been enumerated.