Changes

→‎Exemplary proofs: add [majority function] example
Line 190: Line 190:  
| [[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==
12,080

edits