noun
De Morgan's laws
A pair of transformation rules in propositional logic and Boolean algebra. Used in mathematics and computer science.
ドモルガンの法則を使うと、論理式を簡単に変形できます。
Using De Morgan's laws, you can easily transform logical expressions.
Named after the British mathematician Augustus De Morgan. The Japanese term is a direct borrowing of the English name with 法則 (law).