mcbiopi: Matrix Computation Based Identification Of Prime Implicants
Computes the prime implicants or a minimal disjunctive normal form for a
logic expression presented by a truth table or a logic tree. Has been particularly
developed for logic expressions resulting from a logic regression analysis, i.e.
logic expressions typically consisting of up to 16 literals, where the prime implicants
are typically composed of a maximum of 4 or 5 literals.
||Holger Schwender <holger.schw at gmx.de>|
||LGPL-2 | LGPL-2.1 | LGPL-3 [expanded from: LGPL (≥ 2)]|