| 摘要: |
| 分析了用真值表描述逻辑运算给学术交流和突显逻辑运算特征带来的困难,引出对多值逻辑运算规则进行科学命名的必要性；然后,详细阐述了给三值逻辑运算进行命名的一套完整方案,介绍了这套命名方案的设计原理与使用规范,该方案通过组合“取值特征名”和“运算规则名”可得到各种三值逻辑运算的标准名称；最后,将该命名方案应用到几种典型的三值逻辑运算中,验证了该方案在设计上的科学性、使用上的便捷性、对每种运算规则的唯一性和迅速判断逻辑运算特征的实用性. |
| 关键词: 三值逻辑 运算规则 命名方案 取值特征 |
| DOI：10.20192/j.cnki.JSHNU(NS).2024.04.006 |
| 分类号:TP18 |
| 基金项目:国家自然科学基金青年基金（62302307）；广西人机交互与智能决策重点实验室开放基金项目（GXHIID2209） |
|
| Design principle of naming scheme for ternary logic operation |
|
LI Shuang1, LI Luqun1, JIN Yi2
|
|
1.College of Information, Mechanical and Electrical Engineering, Shanghai Normal University, Shanghai 200234, China;2.School of Computer Engineering and Science, Shanghai University, Shanghai, 200444, China
|
| Abstract: |
| The difficulty of using truth table to describe the logical operation to the academic communication and highlighting the logical operation characteristics was analyzed, and the necessity of scientific naming the multi-valued logic operation rules was introduced in this paper. Then the complete scheme for naming the ternary logic operation was described. Besides, the design principles and usage specifications of this naming scheme were introduced. The standard names of various ternary logical operations by combining the “value feature name” and the “operation rule name” could be obtained by the scheme. Finally, the naming scheme was applied to several typical ternary logic operations, which proved the scientific nature of the naming scheme, the ease of use, the uniqueness of each algorithm, and the practicality of quickly determining the characteristics of logic operations. |
| Key words: ternary logic operation rule naming scheme value feature |
