What is the Consensus Theorem?
In Digital Electronics, the redundancy theorem is utilized as a Boolean algebra technique. It is sometimes referred to as the Consensus Theorem. The following conditions must be met before using the Redundancy theorem:
- The equation must have three variables.
- Each variable is repeated twice.
- One variable must be present in the complemented form.
Consensus Theorem Proof
Consider the three variables X, Y, and Z. The expression is as follows:
O = XY + YZ + X’Z
We can prove the Consensus theorem as follows:
O = XY + YZ . 1 + X’Z
O = XY + YZ(X + X’) + X’Z
O = XY + XYZ + X’YZ + X’Z
O = XY + X’Z
Another method to prove the Consensus theorem by the Karnaugh map is as follows:
The minimized expression is:
O = XY + X’Z
Consensus Theorem Truth Table
The truth table for the consensus theorem which is having three variables X, Y, and Z. The consensus theorem gives the output high when the Z variable is high or when both X and Y variables are input high.
Examples of Consensus Theorem
The Boolean expression F = AB + BC’ + AC. Identity whether we can apply the Consensus theorem.
In the given expression, we first check the condition for the Consensus theorem as described above:
- The given expression has three variables: A, B, and C.
- Every variable is repeated twice in the expression.
- The variable C is present in the complement form.
As all the conditions are verified so we can apply the consensus theorem. We can write just the terms containing complemented variables (i.e., C) and leave out the Redundancy term (i.e., AB) after using the Redundancy theorem.
F = BC' + AC
The Boolean expression F = (A + B). (B + C) + (A’ + C). Identity whether we can apply the Consensus theorem.
In the given expression, we first check the condition for the Consensus theorem as described above:
- The given expression has three variables: A, B, and C.
- Every variable is repeated twice in the expression.
- The variable C is present in the complement form.
As all the conditions are verified so we can apply the consensus theorem. We can write just the terms containing complemented variables (i.e., A) and leave out the Redundancy term (i.e., B + C) after using the Redundancy theorem.
F = (A + B).(A’ + C)
| Important Topics for Gate Exam | |
| Brittle Material | Capacitors in Parallel |
| Capacitors in Series | Carnot Cycle |
| Cement Test | Clamping Circuit |
| Clipping Circuit | CMOS Fabrication |
| CMOS Converter | Column Base |
Comments
write a comment