Definitions from Wiktionary (consensus theorem)

▸ noun:  (logic) 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).)



▸ Words similar to consensus theorem
▸ Usage examples for consensus theorem

▸ Idioms related to consensus theorem
▸ Wikipedia articles (New!)
▸ Words that often appear near consensus theorem
▸ Rhymes of consensus theorem

▸ Invented words related to consensus theorem