De Morgan’s laws are a pair of transformation rules in 布尔代数 that are fundamental to digital circuit design. The 第一定律 指出连词的否定是否定的析取:[latex]\neg(P \land Q) \iff (\neg P) \lor (\neg Q)[/latex].第二种说法是,析取的否定是否定的合取:[latex]\neg(P \lor Q) \iff (\neg P) \land (\neg Q)[/latex].

















