>>560
論理的に同一ってのはどういう事?

最適化された結果の機械語が同一になることが論理的に説明できるって意味?

取りあえず三項演算子をもう少しちゃんと理解したら?