The thesis is concerncd v/ith a study of Recd-Mullor Canonical (FMC) forms and the associated logic realizations. Tv/o nonexhaustive procedures for obtaining minimal PS'IC forms have been reviewed, One of them has boen ...