I don't think Espresso can do this. The Espresso Wikipedia talk page has this: "Espresso is a pure two-layer sum-of-products or product-of-sums minimizer withou

I don't think Espresso can do this. The Espresso Wikipedia talk page has this: "Espresso is a pure two-layer sum-of-products or product-of-sums minimizer without xor or factoring capabilities." There is also a paper by E. V. Dubrova et al. about finding optimal AND-OR-XOR expressions which has extensive comparisons with Espresso.