12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 13:00, 27 September 2010
, 13:00, 27 September 2010→Two-thirds majority function: re-number equations & figures
a b + a c + b c
a b + a c + b c
\end{matrix}</math>
\end{matrix}</math>
| (1)
| (20)
|}
|}
| [[Image:Equational Inference QED.jpg|500px]]
| [[Image:Equational Inference QED.jpg|500px]]
|}
|}
| (2)
| (21)
|}
|}
| [[Image:Two-Thirds Majority Function 500 x 250 Animation.gif]]
| [[Image:Two-Thirds Majority Function 500 x 250 Animation.gif]]
|}
|}
| (3)
| (22)
|}
|}