摘要
举例介绍了一种使用卡诺图对多变量多分支条件的复杂逻辑式同时进行简化,有效解决多分支条件等效简化、验证多分支条件间是否相互交叉或覆盖全面的方法。结合if-else语句特点,还能更大程度地简化分支条件。
It is illustrated that Karnaugh map is an intuitive method to reduce the complex branch conditions in software design, and to verify the combination coverage of branch conditions. Considering the specialty of ＂if-else＂, the branch condition can be reduced in a lager degree.
出处
《软件导刊》
2010年第9期107-109,共3页
Software Guide
关键词
卡诺图
逻辑简化
分支条件
软件设计
Kamaugh Map
Reduction of Logics
Branch Condition
Software Design
