≈ I n t e g e r R i n g
Asosiatif
(A | B) | C = A | (B | C) (A + B) + C = A + (B + C)
(A & B) & C = A & (B & C) (A * B) * C = A * (B * C)
Identitas jumlahan dan perkalian
A | 0 = A A + 0 = A
A & 1 = A A * 1 = A
Negasi dari negasi
~ (~ A) = A – (– A) = A