De_Morgan's laws (or De_Morgan's theorems) are used to simplify the Boolean expressions.

There are two theorems:

  1. The complement of two or more AND variables is equal to the OR of the complements of each variable.
  2. 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

Examples

edit
  •  
  •  
  • Note that x can be a combination of other variables.

lets say   and   so:

 

will be:

 
  • In case we have more than one livile bar (or complement or negate) start with the top bar first
 

Note that   Boolean rule.

  •  
  •