質問です

以下において

x = 式(1) || 式(2);

式(1)または式(2)の結果が0以外であれば他方が評価されないのは
処理系依存でしょうか