在进行软件逆向工程的过程中，对C反编译后的逻辑分支语句结构进行了形式化的描述，将图论领域中的与或图概念应用到逻辑分支语句的识别上来，克服了相关识别算法的局限性。求解与或图的过程中，提出了逻辑关联矩阵的概念，通过执行动态剪枝策略，大大简化了算法复杂度。最后给出算法实例和复杂度分析，验证了算法的正确性和有效性。