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