摘要
传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.
Classical logic equations are normally expressed as two canonical forms: AND -OR and OR -AND expressions. Using the variant logic principle, a new form of logic expression is described to express multiple logic functions as equivalent variant logic forms. Two variable functions are selected as typical cases, while sample functions are used in representations.
出处
《云南民族大学学报(自然科学版)》
CAS
2011年第5期396-397,401,共3页
Journal of Yunnan Minzu University:Natural Sciences Edition
基金
云南省信息安全特色专业建设基金(X3108042)
云南省软件工程重点实验室建设基金
关键词
逻辑函数
变值体系
等价逻辑表示
logic function
variant logic
equivalent expression