Partitioned List Algorithms for Prime Implicant Determination from Canonical Forms
暂无分享,去创建一个
The structure of the algorithms implementing Quine's method for prime implicant determination is analyzed, and a new class of algorithms?partitioned list algorithms?for Quine's method is derived. Such algorithms are of particular interest for actual computation because they permit 1) avoiding repetitions while generating clauses, 2) representing each clause by only one binary configuration, 3) reducing memory capacity requirements, and 4) applying the basic operations by means of nonexhaustive techniques.
[1] E. McCluskey. Minimization of Boolean functions , 1956 .
[2] Willard Van Orman Quine,et al. The Problem of Simplifying Truth Functions , 1952 .
[3] R. McNaughton,et al. The minimality of rectifier nets with multiple outputs incompletely specified , 1957 .
[4] Thomas C. Bartee,et al. Computer Design of Multiple-Output Logical Networks , 1961, IRE Trans. Electron. Comput..