Title: Contemporary Logic Design