Minimizing the Number of States in Incompletely Specified Sequential Switching Functions | Synapse