12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 13:32, 22 March 2010
, 13:32, 22 March 2010→Praeclarum theorema : Proof by CAST
|}
|}
The logical graph that concludes this proof is a variant type of ''disjunctive normal form'' (DNF) for the logical graph that led it off.
The logical graph that concludes this proof is a variant type of ''disjunctive normal form'' (DNF) for the logical graph that was to be demonstrated.
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"