计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
15期
39-40
,共2页
Ⅱ系统%逻辑公式%真值函数%真度
Ⅱ繫統%邏輯公式%真值函數%真度
Ⅱ계통%라집공식%진치함수%진도
以Ⅱ系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况.
以Ⅱ繫統為揹景,針對由單箇原子生成的公式,解決瞭王國俊教授提齣的函數決定公式的問題(VDF問題),即滿足什麽條件的函數可由邏輯公式導齣,或邏輯公式的真值函數的特徵如何;進而按照邏輯等價的關繫將由單原子生成的公式集進行細緻地分類;最後又給齣瞭由單箇原子生成的公式的真度分佈情況.
이Ⅱ계통위배경,침대유단개원자생성적공식,해결료왕국준교수제출적함수결정공식적문제(VDF문제),즉만족십요조건적함수가유라집공식도출,혹라집공식적진치함수적특정여하;진이안조라집등개적관계장유단원자생성적공식집진행세치지분류;최후우급출료유단개원자생성적공식적진도분포정황.