consensus theorem
Word Rarity
Rare
Frequency: Zipf frequency 3.56 in modern English
23
Scrabble Score
16
Letters
5
Syllables
10
Unique Chars
Meaning
name
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).)
Inflected Forms
the consensus theorem (canonical)