Many-Valued Logic In Design