Contemporary Logic Design by