计量逻辑学中的旋转对称逻辑公式  

Rotation Symmetric Logic Formulas in Quantitative Logic

作　　者：李骏[1] 何金龙[1] 

机构地区：[1]兰州理工大学理学院,甘肃兰州730050

出　　处：《模糊系统与数学》2015年第2期62-67,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11261032)

摘　　要：密码学中的旋转对称布尔函数是一类具有多输入单输出性质的函数,本文以此类函数为基础提出了旋转对称逻辑公式的概念。初步研究了此类公式的性质,并给出了此类公式真度的轨道刻画。接着给出了全体旋转对称公式等价类的个数统计。最后证明了旋转对称逻辑公式经过反射变换后得到的公式依然是旋转对称逻辑公式。In cryptography, Rotation Symmetric Boolean Functions （RSBF） are kind of functions with the characteristic of multiple input and single-output. In this paper, the concept of Rotation Symmetric Logic Formulas （RSLF） is proposed by introducing RSBF. Preliminary properties of RSLF have been studied and the truth degree of RSLF has been newly expressed by orbit. Then the number of equivalence class in the set of RSLF has been calculated. Finally, a Rotation Symmetric Logic Formula after reflexive transformation is still a Rotation Symmetric Logic Formula has been proved.

关 键 词：旋转对称逻辑公式 旋转对称布尔函数 真度 轨道 反射变换 

分 类 号：O141[理学—数学]