&aのaは２の規則により特別に配列だけど、&aの返す値はアドレスってことね。
その値をsizeofに渡してるわけだから１の規則はあてはまらない。
１はアドレスじゃなくて配列の名前を渡した時だから。