This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
On Simplifying Truth Functions: A Preliminary Reduction of Coreless Formulas
August 1971 (vol. 20 no. 8)
pp. 938-941
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.
Index Terms:
Core, prime implicant, simplest normal equivalent, truth function.
Citation:
C.C. Pinter, "On Simplifying Truth Functions: A Preliminary Reduction of Coreless Formulas," IEEE Transactions on Computers, vol. 20, no. 8, pp. 938-941, Aug. 1971, doi:10.1109/T-C.1971.223376
Usage of this product signifies your acceptance of the Terms of Use.