Changes

Line 1: Line 1:  
==Differential Logic==
 
==Differential Logic==
   −
{| align="center" cellspacing="6" style="text-align:center"
+
{| align="center" cellspacing="10" style="text-align:center"
 
|
 
|
 
<pre>
 
<pre>
Line 31: Line 31:  
|}
 
|}
   −
{| align="center" cellspacing="6" style="text-align:center"
+
{| align="center" cellspacing="10" style="text-align:center"
 
| [[Image:Venn Diagram P And Q.jpg|500px]]
 
| [[Image:Venn Diagram P And Q.jpg|500px]]
 
|-
 
|-
Line 37: Line 37:  
|}
 
|}
   −
{| align="center" cellspacing="6" style="text-align:center"
+
{| align="center" cellspacing="10" style="text-align:center"
 
|
 
|
 
<pre>
 
<pre>
Line 81: Line 81:  
|}
 
|}
   −
{| align="center" cellspacing="6" style="text-align:center"
+
{| align="center" cellspacing="10" style="text-align:center"
 
|
 
|
 
<pre>
 
<pre>
12,089

edits