demorgans theorems circuit simplification activity 215 5748582