(p AND (q AND NOT(r AND p))) OR NOT(p OR NOT(r))