四值逻辑与星算法

包含“0”,“1”两个元素的布尔代数已为人们所熟知,它给命题演算和对逻辑网络的研究提供了很好的工具。为了能反映动态情况,本文将它扩展成四值的布尔代数,研究了它的数学基础,提出了几种表达式,介绍了星算法的推导法则,并证明了与布尔差分相沟通的展开定理。文章较详细地陈述了在组合网络诊断方面的应用;通过典型例子介绍了求测试码的算法,并与流行的D算法、布尔差分法、ESP法等进行了比较。事实表明星算法具有某些优点。本文还指出了在网络其它方面应用的可能性。