期刊文章详细信息
文献类型:期刊文章
机构地区:[1]云南大学软件学院信息安全系,云南昆明650091
基 金:云南省信息安全特色专业建设基金(X3108042);云南省软件工程重点实验室建设基金
年 份:2011
卷 号:20
期 号:5
起止页码:396-397
语 种:中文
收录情况:CAS、CSA-PROQEUST、JST、RCCSE、ZGKJHX、ZMATH、普通刊
摘 要:传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.
关 键 词:逻辑函数 变值体系 等价逻辑表示
分 类 号:O141[数学类]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...