I was looking through my old notes, trying to refresh my memory and I can't prove ~(A ^ B) -> (~A v ~B). Can anyone help? The rules I'm letting myself use are conjunctive addition, simplification, disjunctive addition, disjunctive syllogism, modus ponens, double negation. I can use indirect proof and conditional proof.