To design the logic circuits the following laws of Boolean algebra are commonly used: commutatively, associatively, and De Morgan’s laws. Note that distributive if disjunction and both De Morgan’s laws do not have their counterparts in ordinary algebra of numbers.