1.一种数字组合逻辑电路输出发生线“与”短接故障的检测方法，其特征在于包括以下步骤：①将待检测的两个数字组合逻辑电路分别记为f(X)和g(X)；并设定f(X)展开有p个乘积项，f(X)表示为其p个乘积项的逻辑“或”形式，g(X)展开有q个乘积项，g(X)表示为其q个乘积项的逻辑“或”形式；其中，X表示f(X)和g(X)的输入变量集合，X中至少包含有1个输入变量，p≥1，q≥1；

②将f(X)的p个乘积项构成的集合记为Cf(X)，将g(X)的q个乘积项构成的集合记为Cg(X)；

③令U表示全集；然后对U与Cg(X)进行两个布尔逻辑函数乘积项集合之间的不相交锐积运算，再将运算结果保存于集合 中， 其中， 的初始值为空集，符号 为两个布尔逻辑函数乘积项集合之间的不相交锐积运算符号；

④对 与Cf(X)进行两个布尔逻辑函数乘积项集合之间的不相交锐积运算，再将运算结果保存于集合Cf(X)_d中， 其中，Cf(X)_d的初始值为空集；

⑤对 与Cf(X)_d进行两个布尔逻辑函数乘积项集合之间的不相交锐积运算，再将运算结果保存于集合CT中， CT中的乘积项为用于两个数字组合逻辑电路输出发生线“与”短接故障检测的测试输入组合；其中，CT的初始值为空集；

⑥将步骤⑤得到的测试输入组合加到f(X)和g(X)的输入端，若f(X)的输出值与预期值不一致，则判定f(X)和g(X)输出发生线“与”短接故障。