Lexic.us

Definition of Consensus theorem

1. Noun. (logic) The following theorem of Boolean algebra: $XY\; +\; X\text{'}Z\; +\; YZ\; =\; XY\; +\; X\text{'}Z$ where $YZ$, the algebraically redundant term, is called the "consensus term", or its dual form $(X\; +\; Y)(X\text{'}\; +\; Z)(Y\; +\; Z)\; =\; (X\; +\; Y)(X\text{'}\; +\; Z)$, in which case $Y\; +\; Z$ is the consensus term. (''Note'': $X+Y,\; X\text{'}+Z\; \backslash vdash\; Y+Z$ is an example of the (w Resolution (logic) resolution) inference rule (replacing the $+$ with $\backslash vee$ and the prime with prefix $\backslash neg$ might make this more evident).) ¹

Words people are searching for today:

moteliers, concierges, dicrotic_wave, creepingly, dreamiest, wysiwygs, boorde, Åland_islands, drollish, pseudoagouti, biocytinase, atween, conger, salvia_officinalis, multimorphemic, rubby-dub, greywacke, postcolonialism, thylacines, jickajog, in_spades, visitest, scratchboards, fletching, vacuum_pumps, routhie, galactonojirimycin, groupware, acne_neonatorum, evening-primrose_family, ascending_tick_paralysis, nct, uxi, thiamylal_sodium, toyingly, taproots, wood's_lamp, delphian, entablatures, 'aircut, meissner's_corpuscle, plica_duodenomesocolica, tool-rest, ran, napalmlike, plant_tissue, unstable, acetylgalactosaminyltransferase, phormiums, arabinoadenosine

Privacy Policy | Contact Us | Powered by WordNet