计算机工程与应用
計算機工程與應用
계산궤공정여응용
Computer Engineering and Applications
2015年
23期
38-41
,共4页
逻辑系统%Boole函数%真度%伪距离
邏輯繫統%Boole函數%真度%偽距離
라집계통%Boole함수%진도%위거리
logic system%Boole functions%truth degree%pseudo-metric
利用逻辑公式的Boole函数表示,给出了m元n值逻辑公式的真度和公式间伪距离的等价定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质.
利用邏輯公式的Boole函數錶示,給齣瞭m元n值邏輯公式的真度和公式間偽距離的等價定義,說明瞭這種定義與原有的概率形式的定義等價,得到瞭公式間的偽距離的一些簡單性質.
이용라집공식적Boole함수표시,급출료m원n치라집공식적진도화공식간위거리적등개정의,설명료저충정의여원유적개솔형식적정의등개,득도료공식간적위거리적일사간단성질.
