ANF (~P || Q) && (P || ~Q)