lecture 10 synthesis of logic 4429799