Switching Theory for Logic Synthesis | lit.salon