Laws
Name | Law |
---|---|
Properties of 0 | a + 0 = a a . 0 = 0 |
Properties of 1 | a + 1 = 1 a . 1 = a |
Null Law / Dominant Law | a + 1 = 1 a . 0 = 0 |
Identity | a + 0 = a a . 1 = a |
Idempotent | a + a = a a . a = a |
Involution | (a')' = a |
Commutative | a + b = b + a a . b = b . a |
Associative | a + (b + c) = (a + b) + c a . (b . c) = (a . b) . c |
Distributive | a + (b . c) = (a + b) . (a + c) a . (b + c) = (a . b) + (a . c) |
De Morgan | (a + b)' = a' . b' (a . b)' = a' + b' |
Absorption | a + (a . b) = a a . (a + b) = a |
NOTE
Whitespaces are provided before and after '+'
and '.'
to improve readability on larger displays. In exam don't put the spaces.
Complement of a variable (let's say 'a') can be represented as :
,
,