Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (15): 31-33.DOI: 10.3778/j.issn.1002-8331.2010.15.010
• 研究、探讨 • Previous Articles Next Articles
YUAN Yan-li,LI Cheng-yun,ZHANG Xing-fang
Received:
Revised:
Online:
Published:
Contact:
袁彦莉,李成允,张兴芳
通讯作者:
Abstract: 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.
Key words: L* system, truth function, truth value
摘要: 基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。
关键词: L*系统, 真值函数, 真度
CLC Number:
TP18
YUAN Yan-li,LI Cheng-yun,ZHANG Xing-fang. Problem of formulas associated with functions based on L* system.[J]. Computer Engineering and Applications, 2010, 46(15): 31-33.
袁彦莉,李成允,张兴芳. L*系统中的函数决定公式问题 [J]. 计算机工程与应用, 2010, 46(15): 31-33.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2010.15.010
http://cea.ceaj.org/EN/Y2010/V46/I15/31