Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 17:10, 14 March 2010

19 bytes added , 17:10, 14 March 2010

Line 193: Line 193:

====Majority function example====

−

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~~:

+

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:

{| align="center" cellpadding="10"

Jon Awbrey

12,080

edits