あー、なんか分かってもらえないかもしれないので。
「実装の問題」って言うのはぶっちゃけ「処理系定義」ってことです。
「意味」は言語定義されているもの。

というか「論理演算子はショートカットを行なう」というのは
「ポインタの値はアドレス」と同じ様に世の中を楽に渡る為の
嘘みたいなものなんで勘弁してください。
そんな分かりきったことを真面目に反論されても、ねぇ・・・・