(X || Y) || X && Y || Y を簡約