Talk:Boole's expansion theorem

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Importance
 Field:  Discrete mathematics


Two articles with similar names, both quite confusingly written for new readers. Would be good to expand them with examples/combine into one. I would, but came here looking for info on Shannon, so I'll update it when I've figured out what to write. Bwgames 15:13, 22 January 2006 (UTC)

I've added info based on a copy of Shannon's 1948 seminal paper that I have with me. Help appreciated with further editing (including cleaning the example and merging in the page "Shannon's expansion theorem", which is misnamed - this is not a theorem). 13:38, 19 July 2007 (UTC) A.B.Leal

Copyright and Merger Fixed[edit]

I merged the files together but can't delete the other one - the other one was kind of copyrighted but now that has been resolved - I fixed the mess. Hope it makes a lot of sense now! LOTRrules (talk) 14:50, 27 January 2008 (UTC)


Does anyone has a "real" citation for the proof of Bool? I would be glad if one could add one or -- if not -- change the sentence into smth like "is normally attributed to George Boole". thanks —Preceding unsigned comment added by (talk) 13:58, 5 February 2008 (UTC)

This article had been copied from another webpage[edit]

This article was copied from this page when it was merged with Shannon's expansion theorem in 2008, the later one being a pure copy of the external page, so I put back the article before the merge. Freewol (talk) 14:27, 8 April 2013 (UTC)


This article needs work to be intelligible to beginners. Consider replacing the lede paragraph with this, if it's correct:

Boole's expansion theorem, often referred to as the Shannon expansion or decomposition, is the identity
where is any Boolean function, denotes the complement (negation) of , and and are with the argument equal to and to respectively.

I also think more needs to be said about being a vector of Boolean values. Jess (talk) 21:06, 14 July 2016 (UTC)

Take a look at my edit. x is not a vector of Boolean values, but a Boolean-valued variable. --Macrakis (talk) 22:00, 14 July 2016 (UTC)

External links modified[edit]

Hello fellow Wikipedians,

I have just modified one external link on Boole's expansion theorem. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at {{Sourcecheck}}).

As of February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required on behalf of editors regarding these talk page notices, other than regular verification, as with any edit, using the archive tools per instructions below. This message updated dynamically through the template {{sourcecheck}} (last update: 1 May 2018).

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 00:04, 6 November 2016 (UTC)


Can someone help flesh out the claim that "[the] Proof for the statement follows from direct use of mathematical induction, from the observation that and expanding a 2-ary and n-ary Boolean functions identically." The base case for 1 variable is self evident, but the casual mention of expansion of 2-ary and n-ary functions seems unfounded. What am I missing? EulerPie (talk) 23:43, 25 September 2017 (UTC)