De Morgan’s laws are a pair of transformation rules in Algebra booleana that are fundamental to digital circuit design. The prima legge La prima afferma che la negazione di una congiunzione è la disgiunzione delle negazioni: [latex]neg(P land Q) iff (neg P) lor (neg Q)[/latex]. La seconda afferma che la negazione di una disgiunzione è la congiunzione delle negazioni: [latex]neg(P lor Q) iff (neg P) land (neg Q)[/latex].

















