Multi-Level Logic: CAD Tools for Simplification
mis with standard simplification script:
misII -f script -t pla <espresso truth table file>
SUM = A CO' + B CO' + CI CO' + A B CI (9 literals)
CO = A B + A CI + B CI (6 literals)
Note that A xor B xor CI = A' B' CI + A B' CI' + A' B CI' + A B CI (12 literals!)