Title: Design of Logic Systems