Strips Notation and Negative Literals
The original STRIPS notation does not allow the use of negative literals in preconditions or goals. Due to this restriction you cannot manipulate the conjunctive literals in it using De Morgan's Laws to become disjunctive.
Russel and Norvig's Artificial Intelligence: A Modern Approach mentions this while describing Classical Planning Methods. PDDL was, in fact, developed to overcome this limitation of STRIPS. (A foot-note on Pg 405 of Artificial Intelligence: A Modern Approach 2nd Edition, its on Pg 367 in the link I have Provided.)