De Morgan’s laws are a pair of transformation rules in Álgebra booleana that are fundamental to digital circuit design. The primera ley El segundo establece que la negación de una conjunción es la disyunción de las negaciones: [latex]neg(P land Q) iff (neg P) lor (neg Q)[/latex]. El segundo establece que la negación de una disyunción es la conjunción de las negaciones: [latex]neg(P lor Q) iff (neg P) land (neg Q)[/latex].

















