刘星宝 高平安 朱丁午 何建波 李艳春 张衡 朱云飞

初等因子 布尔方程 线性置换 K值逻辑函数 准完备 扩散准则 半群 SAC 等价类 群 正交解 多值逻辑 多值逻辑函数 线性半群 内动机 完备性 布尔函数 正则 置换 树型 完全性 仿射内动机 再生通解 直交解 非线性性 完备 自动机 Bent函数 本原布尔函数 圈环

湘潭大学计算机科学系 湖南湘潭 湘潭大学信息工程学院