J4 ›› 2010, Vol. 45 ›› Issue (11): 59-62.
• 数学 • 上一篇 下一篇
傅丽
收稿日期:
出版日期:
发布日期:
作者简介:
基金资助:
教育部春晖计划(Z2006-1-81001)
FU Li
Received:
Online:
Published:
摘要：
基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。
关键词: 等重布尔函数;均匀逻辑公式;真度;计量逻辑学;逻辑度量空间;聚点
Abstract:
The equal weight property of Boolean functions in cryptology is introduced in two valued propositional logic and the corresponding definition of uniform logic formulas is proposed. It is proved that truth degrees of uniform logic formulas are less or equal to 1／2. The set consisting of truth degrees of all uniform logic formulas has exactly one limit point zero. Also, basic properties of uniform logic formulas are investigated, and a simple method for computing the truth degree of the disjunction of two uniform logic formulas with the same atoms, as well as the similarity degree of them are obtained。
Key words: equally weighted Boolean function; uniform logic formula; truth degree; quantitative logic; logic metric space; limit point
傅丽. 均匀逻辑公式的基本性质及其真度的分布[J]. J4, 2010, 45(11): 59-62.
FU Li. Basic properties of uniform logic formulas and distribution of their truth degrees[J]. J4, 2010, 45(11): 59-62.
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: http://lxbwk.njournal.sdu.edu.cn/CN/
http://lxbwk.njournal.sdu.edu.cn/CN/Y2010/V45/I11/59
Cited
