CNF ((a and b) or (q and r )) or z