三值逻辑运算命名方案的设计原理

作     者：李双 李鲁群 金翊 LI Shuang;LI Luqun;JIN Yi

作者机构：上海师范大学信息与机电工程学院上海200234 上海大学计算机工程与科学学院上海200444 

基　　金：国家自然科学基金青年基金(62302307) 广西人机交互与智能决策重点实验室开放基金项目(GXHIID2209) 

出 版 物：《上海师范大学学报（自然科学版中英文）》 (Journal of Shanghai Normal University(Natural Sciences))

年 卷 期：2024年第53卷第4期

页      码：496-501页

摘      要：分析了用真值表描述逻辑运算给学术交流和突显逻辑运算特征带来的困难,引出对多值逻辑运算规则进行科学命名的必要性;然后,详细阐述了给三值逻辑运算进行命名的一套完整方案,介绍了这套命名方案的设计原理与使用规范,该方案通过组合“取值特征名”和“运算规则名”可得到各种三值逻辑运算的标准名称;最后,将该命名方案应用到几种典型的三值逻辑运算中,验证了该方案在设计上的科学性、使用上的便捷性、对每种运算规则的唯一性和迅速判断逻辑运算特征的实用性.

主 题 词：三值逻辑 运算规则 命名方案 取值特征 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

D　O　I：10.20192/j.cnki.JSHNU(NS).2024.04.006

馆 藏 号：203140366...