12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 21:40, 18 August 2009
, 21:40, 18 August 2009→Analysis of contingent propositions: convert graphic
Line 1,141:
Line 1,141:
<pre>
−o-----------------------------------------------------------o
−| |
−| pqr o-------o---o p |
−| \ / |
−| \ / |
−| \ / |
−| @ |
−| |
−| (p q r, (p)) |
−o-----------------------------------------------------------o
−</pre>
−
This is not only a logically equivalent DNF but exactly the same DNF expression that we obtained before, so we have established the given equation <math>\texttt{(} p \texttt{(} q \texttt{))(} p \texttt{(} r \texttt{))} = \texttt{(} p \texttt{(} q r \texttt{))}.</math> Incidentally, one may wish to note that this DNF expression quickly folds into the following form:
This is not only a logically equivalent DNF but exactly the same DNF expression that we obtained before, so we have established the given equation <math>\texttt{(} p \texttt{(} q \texttt{))(} p \texttt{(} r \texttt{))} = \texttt{(} p \texttt{(} q r \texttt{))}.</math> Incidentally, one may wish to note that this DNF expression quickly folds into the following form:
−{| align="center" cellpadding="8" style="text-align:center; width:90%"
+{| align="center" cellpadding="8"
−|
+| [[Image:Logical Graph (P Q R , (P)).jpg|500px]] || (34)
−| |
−| (34)
|}
|}
