チラ裏だけど機械の問18(b)はYとZに式の対称性があるから式変形しなくても答えを1発で絞り込めるよ(YとZを交換しても同値じゃないと矛盾する)