Contemporary Logic Design