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