A generalization of the algorithm of Hei
✍
R. Bertschy; P.A. Monney
📂
Article
📅
1996
🏛
Elsevier Science
🌐
English
⚖ 993 KB
The following problem from reliability theory is considered. Given a disjunctive normal form (DNF) ~0 = ~ol v ... v ~or, we want to find a representation of ~0 into disjoint formulas, i.e. find formulas th,..., qs such that q~ = ql v .-. v q~ and t/i/x r b = \_1\_ whenever i ¢j. In addition, the for