Beyond Binary Memory Circuits: Multiple-Valued Logic (Synthesis Lectures on Dig,