Consensus theorem
In Boolean algebra, the consensus theorem or rule of consensus is the identity:
The consensus or resolvent of the terms and
is
. 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.