化简 ((X || Y) || X && Y || Y