同桥大学 TONGJI UNIVEDEITV b b.cv x d,ev d b.cv x a,dv e b.c v d (a)Implication table (b)Merger diagram Compatibles (a,b) (a,d) (b.c) (c,d,e) Implied states (b,c) (b,c) (d,e) (a,d) (b,c) (c)Closure table Fig.9-25 Choosing a Set of Compatibles 2002 Prentice Hall,Inc. M.Morris Mano DIGITAL DESIGN,3e