Switching theory for logic synthesis | lit.salon