DNF (P %7C%7C Q %7C%7C R) %26%26 (~P %7C%7C ~Q)