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.C. Pinter, "On Simplifying Truth Functions: A Preliminary Reduction of Coreless Formulas", IEEE Transactions on Computers, vol.20, no. 8, pp. 938-941, August 1971, doi:10.1109/T-C.1971.223376