ド・モルガンの法則に従い、論理積または論理和演算を対応する否定演算に置換します。
ブール演算が
if
または
unless
ステートメント内にある場合、ステートメント修飾子が次のように入れ替えられて最終的な結果が単純化されます。