Truth table reduction simplifies the analysis and the design of the digital logic circuit. It is also used for the judgment of the propositional logic value and the equivalence relation of the compound statement in the artificial intelligence theory. A granular matrix based rapid reduction algorithm for multivariable truth table is proposed in this paper by defining the truth table as the logic information system, and the granular matrix is introduced to describe the knowledge in different granular spaces. Then, the truth table reduction is converted to the attribute and the attribute value reduction of the logic information system implemented by granular matrix computation. As an example, the proposed algorithm is applied to the design of the light emitting diode seven segment display. The experimental results show high efficiency of the proposed method.
[1] Pawlak Z. Rough Sets: Theoretical Aspects of Reasoning about Data. Norwell, USA: Kluwer Academic Publishers, 1991
[2] Zadeh L A. Some Reflections on Soft Computing, Granular Computing and Their Roles in the Conception, Design and Utilization of Information/Intelligent Systems. Soft Computing, 1998, 2(1): 23-25
[3] Lin T Y. Granular Computing: Practices, Theories, and Future Directions[EB/OL].[2012-08-01].http://xanadu.cs.sjsu.edu/~grc/grcinfo_center/1linabs_william.pdf
[4] Miao Duoqian, Wang Guoyin, Liu Qing, et al. Granular Computing: Past, Present and Future. Beijing, China: Science Press, 2007 (in Chinese)
(苗夺谦,王国胤,刘 清,等.粒计算:过去、现在与展望.北京:科学出版社, 2007)
[5] Chen Zehua, Xie Gang, Yan Gaowei, et al. Application of a Matrix-Based Binary Granular Computing Algorithm in RST // Proc of the IEEE International Conference on Granular Computing. Beijing, China, 2005, II: 409-412
[6] Chen Zehua, Xie Gang, Xie Keming. Bit Granular Matrix and Rough Relation Matrix. Journal of Taiyuan University of Technology, 2008, 39(4): 379-382 (in Chinese)
(陈泽华,谢 刚,谢克明.粒矩阵与Rough关系矩阵.太原理工大学学报, 2008, 39(4): 379-382)
[7] Chen Zehua, Xie Keming, Xie Gang, et al. MBGrCA and Its Application in RST and Fuzzy Modeling. International Journal of Granular Computing, Rough Sets and Intelligent System, 2010, 1(3): 308-327
[8] Chen Zehua, Xie Gang, Xie Jun, et al. BGrM and Its Application in Knowledge Reduction. Journal of Frontiers of Computer Science and Technology, 2010, 4(3): 283-288 (in Chinese)
(陈泽华,谢 刚,谢 珺,等.粒矩阵及其在知识约简中的应用.计算机科学与探索, 2010, 4(3): 283-288)
[9] Yan Shi, Wang Hong. Fundamentals of Digital Electronics. 5th Edition. Beijing, China: Higher Education Press, 2006 (in Chinese)
(阎 石,王 红.数字电子技术基础.第5版.北京:高等教育出版社,2006)
[10] Liu Qing. Rough Sets and Rough Reasoning. Beijing, China: Science Press, 2001 (in Chinese)
(刘 清.Rough集及Rough推理.北京:科学出版社, 2001)
[11] Liu Baoqin, Luo Rong, Wang Desheng. Digital Circuit and System. Beijing, China: Tsinghua University Press, 2007 (in Chinese)
(刘宝琴,罗 嵘,王德生.数字电路与系统.北京:清华大学出版社, 2007)
2013, Vol. 26 
