B_4与L_6上一类格方程解法及其在逻辑网络中的应用

四值逻辑与星算法,提出了如何解B_4上布尔方程的问题,同时指出‘由于B_4中有本征零因子,这个问题比较困难’。本文提出解B_4上布尔方程的一个方法,同时指出这些解法对于六值代数L6也适用。还用例子说明它们在时序线路及冒险检测中的某些应用。