A Fast Algorithm for the Disjunctive Decomposition of Switching FunctionsV. Yun-Shen ShenArchie C. Mckellaret al.1971IEEE TC