Generate reduction map, according to sorted outputs.
Expand minterm from activation table format into multiple Toffoli gates.
Get the minterm#stretch to create a cascade of Toffoli gates.