12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:48, 6 November 2016
, 17:48, 6 November 2016→Two-thirds majority function: try to fix MathJrx problem
{| align="center" cellpadding="20"
{| align="center" cellpadding="20"
|
| <math>\begin{matrix} a b \bar{c} + a \bar{b} c + \bar{a} b c + a b c \\[6pt] \iff \\[6pt] a b + a c + b c \end{matrix}</math>
<math>\begin{matrix}
a b \bar{c} + a \bar{b} c + \bar{a} b c + a b c \\[6pt]
\iff \\[6pt]
a b + a c + b c
\end{matrix}</math>
| (20)
| (20)
|}
|}