Higher-ordered rules for symbolic substitution

Abstract Symbolic substitution rules are derived for arbitrary switching functions. The rules presented are based on additional inputs and multiple-valued logic. The result is that fewer applications of the rules are needed to complete an operation. The throughput of a system is effectively increased. In general, as more complex functions are implemented, more rules are needed.