限制逻辑等价相关硕士博士期刊学术论文

给出了（F（S）,ρ）中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了（F（S′）,ρ）中公式......