Changes

Line 979: Line 979:  
Let us now examine the following propositional equation:
 
Let us now examine the following propositional equation:
   −
{| align="center" cellpadding="10" style="text-align:center; width:90%"
+
{| align="center" cellpadding="10"
|
+
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (29)
<pre>
  −
o-----------------------------------------------------------o
  −
| Equation E_1                                              |
  −
o-----------------------------------------------------------o
  −
|                                                          |
  −
|                                          q r            |
  −
|          q o  o r                        o              |
  −
|            |  |                          |              |
  −
|          p o  o p                      p o              |
  −
|            \ /                            |              |
  −
|              @              =              @              |
  −
|                                                          |
  −
|      (p (q)) (p (r))       =         ((q r))         |
  −
|                                                          |
  −
|       [p=>q] & [p=>r]      =          [p=>[q&r]]         |
  −
|                                                          |
  −
o-----------------------------------------------------------o
  −
</pre>
  −
| (29)
   
|}
 
|}
  
12,080

edits