c++ - 最初の式が false の場合、論理 and 演算子が 2 番目の式を評価しないと仮定することは常に true ですか?

Question

int* ptr;
//ptr may points to any location(e.g. nullptr)
if(ptr != nullptr && *ptr != 1) {
  //A
} else {
  //B
}

上記のコードは常に次のコードと同等ですか？

if(ptr != nullptr) {
  if(*ptr != 1) {
    //A
  } else {
    //B
  }
} else {
  //B
}

このルールは標準なのか実装定義なのか、最初のコードは移植可能ですか?