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

上传：sharon_JIAN 浏览： 24 推荐： 0 文件：PDF 大小：448.4KB 上传时间：2020-07-21 16:03:56 版权申诉

基于L*系统，针对由两个原子生成的公式，解决了王国俊教授提出的函数决定公式问题，给出了逻辑公式真值函数的特征，进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。