Skip to content

Laws

NameLaw
Properties of 0a + 0 = a
a . 0 = 0
Properties of 1a + 1 = 1
a . 1 = a
Null Law / Dominant Lawa + 1 = 1
a . 0 = 0
Identitya + 0 = a
a . 1 = a
Idempotenta + a = a
a . a = a
Involution(a')' = a
Commutativea + b = b + a
a . b = b . a
Associativea + (b + c) = (a + b) + c
a . (b . c) = (a . b) . c
Distributivea + (b . c) = (a + b) . (a + c)
a . (b + c) = (a . b) + (a . c)
De Morgan(a + b)' = a' . b'
(a . b)' = a' + b'
Absorptiona + (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 :

¬a , a , ac