Structured d-DNNF Is Not Closed Under Negation

Open in new window