De Morgan's algorithm