MyWikiBiz

Changes

User:Jon Awbrey/TABLE (view source)

Revision as of 02:10, 13 December 2008

9,600 bytes added ,  02:10, 13 December 2008
→‎Functional Quantifiers: checkerboard tables
Line 4,161: Line 4,161:  
| 0000
 
| 0000
 
| <math>(~)</math>
 
| <math>(~)</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_1</math>
 
| <math>f_1</math>
 
| 0001
 
| 0001
 
| <math>(u)(v)\!</math>
 
| <math>(u)(v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_2</math>
 
| <math>f_2</math>
 
| 0010
 
| 0010
 
| <math>(u) v\!</math>
 
| <math>(u) v\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_3</math>
 
| <math>f_3</math>
 
| 0011
 
| 0011
 
| <math>(u)\!</math>
 
| <math>(u)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_4</math>
 
| <math>f_4</math>
 
| 0100
 
| 0100
 
| <math>u (v)\!</math>
 
| <math>u (v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_5</math>
 
| <math>f_5</math>
 
| 0101
 
| 0101
 
| <math>(v)\!</math>
 
| <math>(v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_6</math>
 
| <math>f_6</math>
 
| 0110
 
| 0110
 
| <math>(u, v)\!</math>
 
| <math>(u, v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_7</math>
 
| <math>f_7</math>
 
| 0111
 
| 0111
 
| <math>(u v)\!</math>
 
| <math>(u v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_8</math>
 
| <math>f_8</math>
 
| 1000
 
| 1000
 
| <math>u v\!</math>
 
| <math>u v\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_9</math>
 
| <math>f_9</math>
 
| 1001
 
| 1001
 
| <math>((u, v))\!</math>
 
| <math>((u, v))\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_{10}</math>
 
| <math>f_{10}</math>
 
| 1010
 
| 1010
 
| <math>v\!</math>
 
| <math>v\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_{11}</math>
 
| <math>f_{11}</math>
 
| 1011
 
| 1011
 
| <math>(u (v))\!</math>
 
| <math>(u (v))\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_{12}</math>
 
| <math>f_{12}</math>
 
| 1100
 
| 1100
 
| <math>u\!</math>
 
| <math>u\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_{13}</math>
 
| <math>f_{13}</math>
 
| 1101
 
| 1101
 
| <math>((u) v)\!</math>
 
| <math>((u) v)\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_{14}</math>
 
| <math>f_{14}</math>
 
| 1110
 
| 1110
 
| <math>((u)(v))\!</math>
 
| <math>((u)(v))\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_{15}</math>
 
| <math>f_{15}</math>
 
| 1111
 
| 1111
 
| <math>((~))</math>
 
| <math>((~))</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
 
|}<br>
 
|}<br>
   Line 4,371: Line 4,371:  
| 0000
 
| 0000
 
| <math>(~)</math>
 
| <math>(~)</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_1</math>
 
| <math>f_1</math>
 
| 0001
 
| 0001
 
| <math>(u)(v)\!</math>
 
| <math>(u)(v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_2</math>
 
| <math>f_2</math>
 
| 0010
 
| 0010
 
| <math>(u) v\!</math>
 
| <math>(u) v\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_4</math>
 
| <math>f_4</math>
 
| 0100
 
| 0100
 
| <math>u (v)\!</math>
 
| <math>u (v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_8</math>
 
| <math>f_8</math>
 
| 1000
 
| 1000
 
| <math>u v\!</math>
 
| <math>u v\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_3</math>
 
| <math>f_3</math>
 
| 0011
 
| 0011
 
| <math>(u)\!</math>
 
| <math>(u)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_{12}</math>
 
| <math>f_{12}</math>
 
| 1100
 
| 1100
 
| <math>u\!</math>
 
| <math>u\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_6</math>
 
| <math>f_6</math>
 
| 0110
 
| 0110
 
| <math>(u, v)\!</math>
 
| <math>(u, v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_9</math>
 
| <math>f_9</math>
 
| 1001
 
| 1001
 
| <math>((u, v))\!</math>
 
| <math>((u, v))\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_5</math>
 
| <math>f_5</math>
 
| 0101
 
| 0101
 
| <math>(v)\!</math>
 
| <math>(v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_{10}</math>
 
| <math>f_{10}</math>
 
| 1010
 
| 1010
 
| <math>v\!</math>
 
| <math>v\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_7</math>
 
| <math>f_7</math>
 
| 0111
 
| 0111
 
| <math>(u v)\!</math>
 
| <math>(u v)\!</math>
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
 
|-
 
|-
 
| <math>f_{11}</math>
 
| <math>f_{11}</math>
 
| 1011
 
| 1011
 
| <math>(u (v))\!</math>
 
| <math>(u (v))\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_{13}</math>
 
| <math>f_{13}</math>
 
| 1101
 
| 1101
 
| <math>((u) v)\!</math>
 
| <math>((u) v)\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_{14}</math>
 
| <math>f_{14}</math>
 
| 1110
 
| 1110
 
| <math>((u)(v))\!</math>
 
| <math>((u)(v))\!</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
 
|-
 
|-
 
| <math>f_{15}</math>
 
| <math>f_{15}</math>
 
| 1111
 
| 1111
 
| <math>((~))</math>
 
| <math>((~))</math>
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| &nbsp;
+
| style="background:white; color:black" | 0
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
−
| 1
+
| style="background:black; color:white" | 1
 
|}<br>
 
|}<br>
  
Jon Awbrey
12,080

edits

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