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]。 2 つ目の論理積は、論理和の否定は否定の論理積であると述べている。[latex]neg(P lor Q) iff (neg P) land (neg Q)[/latex]。

















