DNF (P || Q || R) && (~P || ~Q)