An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of Nelson Boolean equations

✍ Scribed by Yu.I. Zhuravlev; A.Yu. Kogan

• Publisher: Elsevier Science
• Year: 1986
• Weight: 392 KB
• Volume: 26
• Category: Article
• ISSN: 0041-5553
• DOI: 10.1016/0041-5553(86)90095-9