年が閏年であるかどうかを調べることを証明するコード

Question

グレゴリオ暦の特定の年がうるう年かどうかを示すコードを書く必要があります。しかし、コードが毎年動くかどうかはわかりません。それは1900年、1901年、2000年に働きます。

グレゴリアン年をうるう年にする前に、うるう年を作るべきでしょうか。モジュロ4の年が0の場合は、うるう年です。 4 = 0、年％100 = 0なら、それはそうではありません。最後に、年％4 = 0、年％100 = 0、年％400 = 0の場合、それはです。ここで

コードです：レコードの

public static boolean isLeapYearGregorian(int year) { 
    if ((year % 4 == 0) && (year % 100 != 0) || (year % 4 == 0) && (year % 100 == 0) && (year % 400 == 0)) { 
     return true; 
    } 
    else { 
     return false; 
    } 

} 

おかげ

Answer 1

、コードは、単に

public static boolean isLeapYearGregorian(int year) { 
    return (year % 4 == 0) && (year % 100 != 0) || (year % 400 == 0); 
} 

としてではなく、OPのコードに近い開始のために書き込むことができますこれから始めましょう：

public static boolean isLeapYearGregorian(int year) { 
    return (year % 4 == 0) && (year % 100 != 0) || (year % 4 == 0) && (year % 100 == 0) && (year % 400 == 0); 
} 

上記のands（&&）とors（||）が同じレベルにあり、違いがあるため、この時点でoperator precedence in Javaを知る必要があります。短い答え：ANDはORの前に来る。

• （年％4 == 0）AND（年％100 = 0！）
• OR
• （年％4 == 0）：

  今論理はとして挙げることができますAND（年％100 == 0）ANDと言うことです（年％400 == 0）

：

• （年divisi 4によってBLE）AND（100によって年割り切れない）
• OR
• 4で割り切れる（年）AND 100で割り切れる（年）AND（400で割り切れる年）

今、あなたは比較することができますdefinition of a Gregorian calendar leap yearの擬似コードとロジック：

if (year is not divisible by 4) then (it is a common year) 
else if (year is not divisible by 100) then (it is a leap year) 
else if (year is not divisible by 400) then (it is a common year) 
else (it is a leap year) 

ここから、私達があなたの質問にコードから抽出されたロジックに比較することは簡単で、ウィキペディアで定義されているはいコードが正しく、うるう年に識別するていることを確認します。

比較が完全に単純でないと思われる場合は、truth tablesに頼って、2つの論理ステートメントが同じであることを完全に証明することができます。