Consensus Theorem in Digital Logic - GeeksforGeeks

13 Dec, 2019
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.
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.
Discrete Mathematics
Digital Electronics & Logic Design
Engineering Mathematics
GATE CS
Writing code in comment?
Please use ide.geeksforgeeks.org,
generate link and share the link here.
Comments
Old Comments
4-bit binary Adder-Subtractor
IEEE Standard 754 Floating Point Numbers
Difference between RAM and ROM
Difference between Unipolar, Polar and Bipolar Line Coding Schemes
Analog to Digital Conversion
Relationship between number of nodes and height of binary tree
Inequalities in LaTeX
Newton's Divided Difference Interpolation Formula
Discrete Mathematics | Hasse Diagrams
Mathematics | Walks, Trails, Paths, Cycles and Circuits in Graph