結果 : basic logic laws