어차피 or로 연결되어 있을 때 각각의 경우에서 양도논법이 성립하면 그건 걍 연역으로 받아들이는데
y=3, x=3, 2z=3인 경우 각각 따로 해봐서 답 구하는 것도 딱히 논리적인 문제가 없음 물론 제대로된 풀이라면 저 식이 x랑 y에 대한 대칭식이기 때문에 x,y에 대해서는 한 번만 조사해도 되고, x=3일 때와 2z=3일 때의 결과가 같다라는 걸 같이 보여야 하겠지요