Applying Karnaugh map to design complex software branch conditions
Ruyi Ye, Tang Wangjin, Li Zhou · 2010
It is illustrated that Karnaugh map can be an intuitive method to reduce the complexity of branch conditions in software design, and it can be used to verify the combination coverage among branch conditions.