Boolean algebraic theorems are the theorems that are used to change the form of a boolean expression. Sometimes these theorems are used to minimize the terms of the expression and sometimes they are used just to transfer the expression from one form to another.

There are boolean algebraic theorems in digital logic:

**1. De Morgan’s Theorem :**

DE Morgan’s Theorem represents two of the most important rules of boolean algebra.

(i).(A . B)' = A' + B'

Thus, the complement of the product of variables is equal to the sum of their individual complements.

(ii).(A + B)' = A' . B'

Thus, the complement of the sum of variables is equal to the product of their individual complements.

The above two laws can be extended for n variables as

(A1 . A2 . A3 ... An)' = A1' + A2' + ... + An' And (A1 + A2 + ... + An)' = A1' . A2' . A3' ... An'

**2. Transposition Theorem :**

It states that:

AB + A'C = (A + C) (A' + B)

**Proof:**

RHS = (A + C) (A' + B) = AA' + A'C + AB + CB = 0 + A'C + AB + BC = A'C + AB + BC(A + A') = AB + ABC + A'C + A'BC = AB + A'C = LHS

**3. Redundancy Theorem :**

This theorem is used to eliminate the redundant terms. A variable is associated with some variable and its complement is associated with some other variable and the next term is formed by the left over variables, then the term becomes redundant.

**Example:**

AB + BC' + AC = AC + BC'

**Proof:**

LHS = AB + BC' + AC = AB(C + C') + BC'(A + A') + AC(B + B') = ABC + ABC' + ABC' + A'BC' + ABC + AB'c = ABC + ABC' + A'BC' + AB'C = AC(B + B') + BC'(A + A') = AC + BC' = RHS

**4. Duality Theorem :**

Dual expression is equivalent to write a negative logic of the given boolean relation. For this,

- Change each OR sign by and AND sign and vice-versa.
- Complement any 0 or 1 appearing in the expression.
- Keep literals as it is.

**Example:**

Dual of A(B+C) = AB + AC

**5. Complementary Theorem :**

For obtaining complement expression,

- Change each OR sign by AND sign and vice-versa.
- Complement any 0 or 1 appearing in the expression.
- Complement the individual literals.

**Example:**

Complement of A(B+C) = A'B' + A'C'

Attention reader! Don’t stop learning now. Get hold of all the important DSA concepts with the **DSA Self Paced Course** at a student-friendly price and become industry ready.

## Recommended Posts:

- Mathematics | Some theorems on Nested Quantifiers
- Mathematics | Algebraic Structure
- Finite Group in Algebraic Structure
- Number of Boolean functions
- Minimization of Boolean Functions
- Properties of Boolean Algebra
- Representation of Boolean Functions
- Counting Boolean function with some variables
- Proof of De-Morgan's laws in boolean algebra
- Prime Implicant chart for minimizing Cyclic Boolean functions
- Difference between Big Oh, Big Omega and Big Theta
- How to Prepare for GATE CS 2021
- Design Issues in Physical Layer
- Importance of GATE CSE for tier 3 College Students

If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to contribute@geeksforgeeks.org. See your article appearing on the GeeksforGeeks main page and help other Geeks.

Please Improve this article if you find anything incorrect by clicking on the "Improve Article" button below.