A multiple valued cover-most algorithm based on the extended Allen-Givone algebra system
Zhihai Wang, Dian-Cheng Zhang, Guangsheng Ma · 2002
On the basis of discussing extended Allen-Givone implementation oriented algebra, this paper selects a suitable data structure, presents the definition of generalized OR-combined operation of multi-valued logic (MVL) and uses it for solving an EPI set rapidly. In order to speed up the process for solving a cover, the grouping subsume simplification of two-valued sharp product is extended onto position cubical arrays of MVL. By the /spl Delta/ operator, the implementation cost is further lowered after forming a cover. The algorithm is an extension of the two-valued cover-most algorithm proposed by M.C. Waters.