L＊系统中的函数决定公式问题  

Problem of formulas associated with functions based on L~＊ system

作　　者：袁彦莉[1] 李成允[1] 张兴芳[1] 

机构地区：[1]聊城大学数学科学学院,山东聊城252059

出　　处：《计算机工程与应用》2010年第15期31-33,共3页Computer Engineering and Applications

基　　金：国家自然科学基金No.60875034~~

摘　　要：基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。In this paper the problem introduced by processer Wang is discussed.The characterization of functions associated with formulas generated by two atoms based on L system is given.Furthermore,a detailed characterization of F（p,q） is given.

关 键 词：L＊系统 真值函数 真度 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]