Changes

Line 720: Line 720:  
<br>
 
<br>
   −
====Old Versions====
+
====Propositional Forms on Two Variables====
    
<br>
 
<br>
Line 780: Line 780:  
| f<sub>15</sub> || f<sub>1111</sub> || 1 1 1 1 || ((&nbsp;)) || true || 1
 
| f<sub>15</sub> || f<sub>1111</sub> || 1 1 1 1 || ((&nbsp;)) || true || 1
 
|}
 
|}
 +
 +
<br>
 +
 +
====Differential Propositions====
    
<br>
 
<br>
12,089

edits