Issue No. 08 - August (1971 vol. 20)
The core of a truth function ? consists of those prime implicants of ? which are terms of every disjunctive normal formula equivalent to ?. The notion of core is generalized here: a class of prime implicants of ? is defined, called its "pseudo core." The pseudo core of ? consists of those prime implicants of ? which are terms of every one of a class G of normal equivalents of ?, where G includes a simplest normal equivalent. The pseudo core may be found easily and rapidly, plays the same role as the core in simplifying a formula, and may exist even in coreless formulas.
Core, prime implicant, simplest normal equivalent, truth function.
C. Pinter, "On Simplifying Truth Functions: A Preliminary Reduction of Coreless Formulas," in IEEE Transactions on Computers, vol. 20, no. , pp. 938-941, 1971.