Seminar 9. Combinational Logic Circuit synthesis