(A v Z v ~Q) ^ ~Z ^ (A v B v Q) ^ (M v ~A) ^ (M v ~Z) ^ (A v ~M)