Title: Design of logic systems