A theorem on supports in the theory of semisets
This paper is concerned with the minimization of logical functions in normal disjunctive form. An ALGOL 60 algorithm is presented for finding the prime implicants of incompletely specified logical functions of the given form.
Page 1 Next