Q v ~W ^ ~Q ^ A v B v W ^ ~P  ^ P v ~B ^ ~A v ~P ^ A v Q ^ ~A ^ P ^ ~P v A