de Morgan's laws
/dəˈmɔːgən/1
- Mathematics two laws in Boolean algebra and set theory which state that AND and OR, or union and intersection, are dual. They are used to simplify the design of electronic circuits.【数】德摩根定律。
1.1
- The laws can be expressed in Boolean logic as: NOT (a AND b) = NOT a OR NOT b; NOT (a OR b) = NOT a AND NOT b.这些定律可用布尔逻辑表达为:
NOT (a AND b) = NOT a OR NOT b; NOT (a OR b) = NOT a AND NOT b.
词源
early 20th cent.: named after Augustus de Morgan (1806-71), English mathematician, but already known (by logicians) as principles in the Middle Ages.