De_Morgan's laws (or De_Morgan's theorems) are used to simplify the Boolean expressions.
There are two theorems:
- The complement of two or more AND variables is equal to the OR of the complements of each variable.
- The complement of two or more OR variables is equal to the AND of the complements of each variable.
Note that this theorems are true in both direction
- Note that x can be a combination of other variables.
lets say and so:
- In case we have more than one livile bar (or complement or negate) start with the top bar first
Note that Boolean rule.