\myheading{Logic circuits synthesis}

\leveldown{}

\input{synth/logic/simple_and_Apollo/main}
\input{synth/logic/TAOCP_711_4_and_5/main}

\levelup{}