simplify(not(D)&C)or(not(D&A&B))or(not(D&B&C))