用逻辑代数探索破案

设F为逻辑式,则称F=1为Ⅰ型逻辑方程;F=0为0型逻辑方程.并且若干个逻辑方程可组成逻辑方程组.其一般解法为:例如(A B)(B (?))=1推得 ABC AB(?) (?)BC (?)B(?) A(?)(?)=1得解集为:S={111,110,011,010,100}通常的公安人员在破案过程中采用逻辑推理的方法,通过严密的调查、推理论证、去伪存真最后断案.本文试图变上述繁杂语言逻辑推证过程为采用逻辑运算符号,并建立公式化的逻辑方程(组)进行运算,使破案过程程序化.从而能科学、快速、准确地得出结论,为破案工作开创一条新的捷径.