

+
B + AB
+ AC
(B + 
) + A(C + B
)
(B +
) + A(C + B)      from T10b
B + 
+ AC + AB
+ A) + 
+ AC      from T9a and T8b

+ AC
Z = f(A,B,C,D) =
B + B
+ BC + A
B + B(C +
) +
(B + A
)      using B
(twice) T4a
B + B +
(B + A)      from T9a, T8b and T10b
) + B
+ A
     from T8a
+ A
     from T8a
+ A
     from T8a

+ AB
D + A
D + ABCD + A
CD + ABC
+ A
C
+ ABC + A
C + A
D      from T9a and T8b
D      from T9a and T8b
D) + AC
Return
