用逻辑代数探索破案

SOLVING THE CASE IN THE FIRST SEARCH OF LOGICAL ALGEBRA

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

ad:The normal school of the fifth division,the city of Bolo,Xing JiangSuppose F is a logical type ,so it is called F=l is No. 1 type logical equation;F = 0 is O model logical equation and the group of the logical equation is made of the several logical equations.The general solving is:For example :(A+B)(B+(?))=1Infer:ABC+AB(?)+(?)BC+(?)B(?)+A(?)(?)=1Result:S={111,110,011,010,100}In general ,in solving the case the policeman often uses the method of logic,looking into the matter closely ,while he thinks it logically and proves it . And at last he eliminates the false and retains the truth and clears up the case.Paper,tries to change the troubled language logical prove process into the logical operation marks, set up a formula group logical equation for operating and make the process of solving the case procedure. Therefore, we can get the conclusion scientifically, quickly and correctly,and lead the work of solving the case down to a new shortcut.