MyWikiBiz

Changes

Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 04:24, 29 May 2008

450 bytes added ,  04:24, 29 May 2008
→‎Variant 2: align="center"
Line 2,746: Line 2,746:  
|-
 
|-
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>1</sub><br>
 
f<sub>1</sub><br>
Line 2,754: Line 2,754:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>0001</sub><br>
 
f<sub>0001</sub><br>
Line 2,762: Line 2,762:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
0 0 0 1<br>
 
0 0 0 1<br>
Line 2,770: Line 2,770:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
(x)(y)<br>
 
(x)(y)<br>
Line 2,778: Line 2,778:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
Neither x nor y<br>
 
Neither x nor y<br>
Line 2,786: Line 2,786:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
&not;x &and; &not;y<br>
 
&not;x &and; &not;y<br>
Line 2,795: Line 2,795:  
|-
 
|-
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>3</sub><br>
 
f<sub>3</sub><br>
Line 2,801: Line 2,801:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>0011</sub><br>
 
f<sub>0011</sub><br>
Line 2,807: Line 2,807:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
0 0 1 1<br>
 
0 0 1 1<br>
Line 2,813: Line 2,813:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
(x)<br>
 
(x)<br>
Line 2,819: Line 2,819:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
Not x<br>
 
Not x<br>
Line 2,825: Line 2,825:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
&not;x<br>
 
&not;x<br>
Line 2,832: Line 2,832:  
|-
 
|-
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>6</sub><br>
 
f<sub>6</sub><br>
Line 2,838: Line 2,838:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>0110</sub><br>
 
f<sub>0110</sub><br>
Line 2,844: Line 2,844:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
0 1 1 0<br>
 
0 1 1 0<br>
Line 2,850: Line 2,850:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
(x, y)<br>
 
(x, y)<br>
Line 2,856: Line 2,856:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
x not equal to y<br>
 
x not equal to y<br>
Line 2,862: Line 2,862:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
x &ne; y<br>
 
x &ne; y<br>
Line 2,869: Line 2,869:  
|-
 
|-
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>5</sub><br>
 
f<sub>5</sub><br>
Line 2,875: Line 2,875:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>0101</sub><br>
 
f<sub>0101</sub><br>
Line 2,881: Line 2,881:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
0 1 0 1<br>
 
0 1 0 1<br>
Line 2,887: Line 2,887:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
(y)<br>
 
(y)<br>
Line 2,893: Line 2,893:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
Not y<br>
 
Not y<br>
Line 2,899: Line 2,899:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
&not;y<br>
 
&not;y<br>
Line 2,906: Line 2,906:  
|-
 
|-
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>7</sub><br>
 
f<sub>7</sub><br>
Line 2,914: Line 2,914:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
f<sub>0111</sub><br>
 
f<sub>0111</sub><br>
Line 2,922: Line 2,922:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
0 1 1 1<br>
 
0 1 1 1<br>
Line 2,930: Line 2,930:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
(x y)<br>
 
(x y)<br>
Line 2,938: Line 2,938:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
Not both x and y<br>
 
Not both x and y<br>
Line 2,946: Line 2,946:  
|}
 
|}
 
|
 
|
−
{| style="background:lightcyan"
+
{| align="center" style="background:lightcyan"
 
|
 
|
 
&not;x &or; &not;y<br>
 
&not;x &or; &not;y<br>
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/67494"