X+Y |
Y+X |
Commutative |
X⋅Y |
Y⋅X |
Commutative |
(X+Y)+Z |
X+(Y+Z) |
Associative |
(X⋅Y)⋅Z |
X⋅(y⋅Z) |
Associative |
X+(Y⋅Z) |
(X+Y)⋅(Z+Z) |
Distributive |
X⋅(Y+Z) |
(X⋅Y)+(X⋅Z) |
Distributive |
X+0 |
X |
Identity |
X⋅1 |
X |
Identity |
X+X’ |
1 |
Complement |
X⋅X’ |
0 |
Complement |
X+X |
X |
Idempotence |
X⋅X |
X |
Idempotence |