# Digital Logic | Consensus theorem

Prerequisite – Properties of Boolean algebra, Minimization of Boolean Functions

Redundancy theorem is used as a Boolean algebra trick in Digital Electronics. It is also known as Consensus Theorem:

AB + A'C + BC = AB + A'C

The consensus or resolvent of the terms AB and A’C is BC. It is the conjunction of all the unique literals of the terms, excluding the literal that appears unnegated in one term and negated in the other.

The conjunctive dual of this equation is:

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

In the second line, we omit the third product term BC.Here, the term BC is known as Redundant term. In this way we use this theorem to simply the Boolean Algebra. Conditions for applying Redundancy theorem are:

- Three variables must present in the expression.Here A, B and C are used as variables.
- Each variables is repeated twice.
- One variable must present in complemented form.

After applying this theorem we can only take those terms which contains the complemented variable.

**Proof –** We can also prove it like this:

Y = AB + A'C + BC Y = AB + A'C + BC.1 Y = AB + A'C + BC.(A + A') Y = AB + A'C + ABC + A'BC Y = AB(1 + C) + A'C(1 + B) Y = AB + A'C

**Example-1.**

F = AB + BC' + AC

Here, we have three variables A, B and C and all are repeated twice. The variable C is present in complemented form. So, all the conditions are satisfied for applying this theorem.

After applying Redundancy theorem we can write only the terms containing complemented variables (i.e, C) and omit the Redundancy term i.e., AB.

.'. F = BC' + AC

**Example-2.**

F = (A + B).(A' + C).(B + C)

Three variables are present and all are repeated twice. The variable A is present in complemented form.Thus, all the three conditions of this theorem is satisfied.

After applying Redundancy theorem we can write only the terms containing complemented variables (i.e, A) and omit the Redundancy term i.e., (B + C).

.'. F = (A + B).(A' + C)

Consider the following equation:

Y = AB + A'C + BC

The third product term BC is a redundant consensus term. If A switches from 1 to 0 while B=1 and C=1, Y remains 1. During the transition of signal A in logic gates, both the first and second term may be 0 momentarily. The third term prevents a glitch since its value of 1 in this case is not affected by the transition of signal A.

Thus. it is important to remove Logic Redundancy because it causes unnecessary network complexity and raises the cost of implementation.

So, in this way we can minimize a Boolean expression to solve it.

## Recommended Posts:

- Digital Logic | Logic Gates
- Digital Logic | Latches
- Counters in Digital Logic
- Digital logic | Encoder
- Digital Logic | 5 variable K-Map
- Digital Logic | Implicants in K-Map
- Digital Logic | Binary representations
- Digital Logic | Full Subtractor
- Digital logic | Binary Decoder
- Digital logic | Functional Completeness
- Digital logic | Ripple Counter
- Digital logic | Magnitude Comparator
- Digital logic | Shift Registers
- Digital Logic | Ring Counter
- Digital Logic | n-bit Johnson Counter

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.