Ⅱ系统中公式的真值函数及真度分布

• 作者: 张兴芳 李友雨 李成允
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: Ⅱ系统 逻辑公式 真值函数 真度
• 年，卷（期）: 2009,（15）
• 所属期刊栏目: 研究、探讨
• 页码范围: 39-40
• 页数: 2页
• 分类号: O141.1
• 字数: 2029字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.15.011

摘要

以Ⅱ系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兴芳	聊城大学数学科学学院	139	336	8.0	13.0
2	李成允	聊城大学数学科学学院	21	39	4.0	5.0
3	李友雨	聊城大学数学科学学院	10	8	2.0	2.0