In digital circuits, simplifying a long unsigned into a short unsigned requires Morgan's Law transformation, such as (A+B)'=A'B', or variables, and vice versa. Another example is (A'+B')', that is, A and B are short first and then long. It becomes AB.
In propositional logic and logic algebra, De Morgan's law (or Augustus de Morgan's theorem) is a pair of laws about propositional logic. De Morgan's law plays an important role in theorem derivation of mathematical logic, logic design of computer and set operation of mathematics.