Download now Free registration required
The problem of finding a minimal-size disjunctive normal form expression consistent with a given truth table (TT-MinDNF) is one of the oldest problems in computer science. It was formulated by the famous logician and philosopher Willard Van Quine in his work on mathematical logic. His algorithm for simplifying logical steps was also discovered in 1956 by Edward McCluskey in the context of circuit design. Besides its important role in circuit design (in particular, two-level and multi-level logic synthesis for VLSI design of ASICs and Programmable Gate Arrays) the problem has more recently appeared in reliability analysis, IP routing table compaction, and high-dimensional data representation.
- Format: PDF
- Size: 283.3 KB