consensus theorem

proper noun

The following theorem of Boolean algebra: XY+X'Z+YZ=XY+X'Z where YZ, the algebraically redundant term, is called the "consensus term", or its dual form (X+Y)(X'+Z)(Y+Z)=(X+Y)(X'+Z), in which case Y+Z is the consensus term. (Note: X+Y,X'+Z⊢Y+Z is an example of the resolution inference rule (replacing the + with ∨ and the prime with prefix ¬ might make this more evident).)

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

proper nounthe consensus theorem
  1. human sciencesThe following theorem of Boolean algebra: XY+X'Z+YZ=XY+X'Z where YZ, the algebraically redundant term, is called the "consensus term", or its dual form (X+Y)(X'+Z)(Y+Z)=(X+Y)(X'+Z), in which case Y+Z is the consensus term. (Note: X+Y,X'+Z⊢Y+Z is an example of the resolution inference rule (replacing the + with ∨ and the prime with prefix ¬ might make this more evident).)
Cite this entry
APA

consensus theorem. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/consensus%20theorem

MLA

“consensus theorem.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/consensus%20theorem. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “consensus theorem,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/consensus%20theorem.

Source: consensus theorem on Wiktionary, CC BY-SA 4.0.