计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
15期
31-33
,共3页
L*系统%真值函数%真度
L*繫統%真值函數%真度
L*계통%진치함수%진도
基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征.
基于L*繫統,針對由兩箇原子生成的公式,解決瞭王國俊教授提齣的函數決定公式問題,給齣瞭邏輯公式真值函數的特徵,進而按照邏輯等價的關繫將兩箇原子生成的公式集進行瞭細緻的分類併給齣瞭此類公式真度的特徵.
기우L*계통,침대유량개원자생성적공식,해결료왕국준교수제출적함수결정공식문제,급출료라집공식진치함수적특정,진이안조라집등개적관계장량개원자생성적공식집진행료세치적분류병급출료차류공식진도적특정.
