James Anderson (computer scientist)

Variable inputs			Function values
x	y	z	$xy\vee {\bar {x}}z\vee yz$	$xy\vee {\bar {x}}z$
0	0	0	0	0
0	0	1	1	1
0	1	0	0	0
0	1	1	1	1
1	0	0	0	0
1	0	1	0	0
1	1	0	1	1
1	1	1	1	1

In Boolean algebra, the consensus theorem or rule of consensus is the identity:

$xy\vee {\bar {x}}z\vee yz=xy\vee {\bar {x}}z$

The consensus or resolvent of the terms $xy$ and ${\bar {x}}z$ is $yz$. It is the conjunction of all the unique literals of the terms, excluding the literal which appears unnegated in one term and negated in the other.

The conjunctive dual of this equation is:

$(x\vee y)({\bar {x}}\vee z)(y\vee z)=(x\vee y)({\bar {x}}\vee z)$

Proof

   LHS = $xy\vee {\bar {x}}z\vee (x\vee {\bar {x}})yz$
       = $xy\vee {\bar {x}}z\vee xyz\vee {\bar {x}}yz$
       = $xy\vee xyz\vee {\bar {x}}z\vee {\bar {x}}yz$
       = $xy(1\vee z)\vee {\bar {x}}z(1\vee y)$
       = $xy\vee {\bar {x}}z$
       = RHS

Consensus

<Consensus>...</Consensus><Opposition>...</Opposition> The consensus or consensus term of two conjunctive terms of a disjunction is defined when one term contains the literal $a$ and the other the literal ${\bar {a}}$, an opposition. The consensus is the conjunction of the two terms, omitting both $a$ and ${\bar {a}}$, and repeated literals; the consensus is undefined if there is more than one opposition. For example, the consensus of ${\bar {x}}yz$ and $w{\bar {y}}z$ is $w{\bar {x}}z$.

The consensus can be derived from $(x\vee y)$ and $({\bar {x}}\vee z)$ through the resolution inference rule. This shows that the LHS is derivable from the RHS (if A → B then A → AB; replacing A with RHS and B with (y ∨ z) ). The RHS can be derived from the LHS simply through the conjunction elimination inference rule. Since RHS → LHS and LHS → RHS (in propositional calculus), then LHS = RHS (in Boolean algebra).

Digital logic circuitry

In digital logic, including the consensus term in a circuit can eliminate race hazards.

History

The concept of consensus was introduced by Archie Blake in 1937. It was rediscovered by Samson and Mills in 1954 and by Quine in 1955. Quine coined the term 'consensus'. Robinson used it for clauses in 1965 as the basis of his "resolution principle".

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

• Roth, Charles H. Jr. and Kinney, Larry L. (2004, 2010). "Fundamentals of Logic Design", 6th Ed., p. 66ff.