consensus theorem

Definition from Wiktionary, the free dictionary
Jump to: navigation, search



consensus theorem (uncountable)

  1. (logic) The following theorem of Boolean algebra: where , the algebraically redundant term, is called the "consensus term", or its dual form , in which case is the consensus term. (Note: is an example of the resolution inference rule (replacing the with and the prime with prefix might make this more evident).)