¬A∨(A∧¬B)⊢¬A∨¬B