12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 02:56, 25 December 2009
, 02:56, 25 December 2009→Exemplary proofs: add [majority function] example
| [[Image:PERS_Figure_15.jpg|500px]] || (15)
| [[Image:PERS_Figure_15.jpg|500px]] || (15)
|}
|}
====Majority Function====
Here's a nice example that was posted as a [http://mathoverflow.net/questions/9292/newbie-boolean-algebra-question question at MathOverFlow].
==Formal extension : Cactus calculus==
==Formal extension : Cactus calculus==