12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:45, 6 November 2016
, 17:45, 6 November 2016→Two-thirds majority function: trry to fic MathJrx pronlem
|
|
<math>\begin{matrix}
<math>\begin{matrix}
a b \bar{c} + a \bar{b} c + \bar{a} b c + a b c
a b \bar{c} + a \bar{b} c + \bar{a} b c + a b c \\[6pt]
\\[6pt]
\iff \\[6pt]
\iff
\\[6pt]
a b + a c + b c
a b + a c + b c
\end{matrix}</math>
\end{matrix}</math>