Changes

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)

|                      (p q r, (p))                       |

|                                                           |

| (34)

|}

|}