  Classical propositional logic is used as a technical tool for the analysis and synthesis of some types of electrical circuits built up from “switches” with two stable states, i.e. voltage levels. A rather straightforward generalization allows the use of an \(m\)-valued logic to discuss circuits built from similar “switches” with \(m\) stable states. This whole field of application of many-valued logic is called many-valued (or even: fuzzy) switching. A good introduction is Epstein (1993).