Title :
A Numerical Procedure for Determination of the Prime Implicants of a Boolean Function
Author_Institution :
Inst. Politehnic Gh. Gheorghiu-Dej, Bucuresti, Romania
Abstract :
In this correspondence it is shown that by applying Gavrilov´s test algorithm to any Boolean function numerically represented by its´´ constrained designation numbers´´, introduced by Ledley, a very suitable program for the automatic determination of the prime implicants and of the prime implicant table can be established.
Keywords :
Algorithm design and analysis; Automatic testing; Boolean functions; Circuit testing; Delay; Input variables; Logic gates; Logic testing; Performance evaluation; Samarium;
Journal_Title :
Electronic Computers, IEEE Transactions on
DOI :
10.1109/PGEC.1967.264787