De Morgan’s laws are a pair of transformation rules in Álgebra booleana that are fundamental to digital circuit design. The primeira lei A primeira afirma que a negação de uma conjunção é a disjunção das negações: [latex]neg(P land Q) iff (neg P) land (neg Q)[/latex]. A segunda afirma que a negação de uma disjunção é a conjunção das negações: [latex]neg(P lor Q) iff (neg P) land (neg Q)[/latex].

















