12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:34, 14 March 2010
, 19:34, 14 March 2010→Majority function example
====Majority function example====
====Majority function example====
Consider the following equation in boolean algebra, posed as a [http://mathoverflow.net/questions/9292/newbie-boolean-algebra-question question] at [http://mathoverflow.net/ MathOverFlow] by a reader seeking a proof:
Consider the following equation in boolean algebra, posted as a [http://mathoverflow.net/questions/9292/newbie-boolean-algebra-question problem for proof] at [http://mathoverflow.net/ MathOverFlow].
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"