论文研究-*系统中的函数决定公式问题 .pdf

【文件属性】：
文件名称：论文研究-*系统中的函数决定公式问题 .pdf
文件大小：448KB
文件格式：PDF
更新时间：2022-09-26 12:51:06
论文研究 基于L*系统，针对由两个原子生成的公式，解决了王国俊教授提出的函数决定公式问题，给出了逻辑公式真值函数的特征，进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。