Heuristic minimization of multiple-valued relations (1993)

by Y Watanabe, R Brayton
Venue:R(x1,x2,x3,A,B,C) = f (x1,x2,x3) ⇔ Q(A,B,C) = (x1(x2 + x3) + x1x2x3)(AC + BC) +(x1x2x3 + x1(x2 + x3))(AC + B C) Our algorithm finds the following decomposition: A(x1,x2,x3) = x1; B(x1,x2,x3) = x1; C(x1,x2,x3) = x2 + x3