Lecture Two-level-properties-don't cares .pdf