As leis de De Morgan são um par de regras de transformação na álgebra booleana que são fundamentais para o projeto de circuitos digitais. 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].





