Le leggi di De Morgan sono una coppia di regole di trasformazione nell'algebra booleana che sono fondamentali per la progettazione di circuiti digitali. 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].





