Lesson plan
Consensus theorem
of AB ∨ ∨ . Omitting the red rectangle does not change the covered area. 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 that appears unnegated in one term and negated in the other. If y includes a term that is negated in z (or vice versa), the consensus term yz is false; in other words, there is no consensus term. The conjunctive dual of this equation is: (x \vee y)(\bar{x} \vee z)(y \vee z) = (x \vee y)(\bar{x} \vee z)
Article summary
of AB ∨ ∨ . Omitting the red rectangle does not change the covered area. 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 that appears unnegated in one term and negated in the other. If y includes a term that is negated in z (or vice versa), the consensus term yz is false; in other words, there is no consensus term. The conjunctive dual of this equation is: (x \vee y)(\bar{x} \vee z)(y \vee z) = (x \vee y)(\bar{x} \vee z)
Key claims
No claims recorded.
Discussion questions
- Summarise the article in your own words. Which single claim would you verify first, and why?
- Which claim in this article is most likely to be revised as the sources update? How would you check its current status?
- If two sources disagreed about one of these facts, what would you need in order to trust one over the other?
Bibliography
No sources recorded.
Key claims and bibliography are generated from the same tracked claims and sources as the article page.