Program for De Morgan's Law