simplify (X || Y) || X && Y || Y