https://123dok.net/document/yj7rg0ek-combinational-multiple-valued-circuit-design-generalized-disjunctive-decomposition.html